Secure-by-construction optimal path planning for linear temporal logic tasks
In this paper, we investigate the problem of planning an optimal infinite path for a single
robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that …
robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that …
Hyperproperties for robotics: Planning via HyperLTL
There is a growing interest on formal methods-based robotic planning for temporal logic
objectives. In this work, we extend the scope of existing synthesis methods to hyper …
objectives. In this work, we extend the scope of existing synthesis methods to hyper …
Effects of social behaviors of robots in privacy-sensitive situations
In this paper, we investigate the effect of robot social behaviors in privacy-sensitive
situations that are designed to reduce concerns of users regarding privacy invasion. As …
situations that are designed to reduce concerns of users regarding privacy invasion. As …
An adversarial approach to private flocking in mobile robot teams
Privacy is an important facet of defence against adversaries. In this letter, we introduce the
problem of private flocking. We consider a team of mobile robots flocking in the presence of …
problem of private flocking. We consider a team of mobile robots flocking in the presence of …