Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Formal Methods
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. In M. Ani Hsieh, Oussama Khatib, and Vijay Kumar, editors, Experimental Robotics, volume 109 of Springer Tracts in Advanced Robotics, pages 605-619. Springer International Publishing, 2016. isbn: 978-3-319-23777-0, link
Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, page 1-16, 2016. doi:10.1007/s10514-015-9519-z.
Reactive Sampling-Based Temporal Logic Path Planning
Cristian-Ioan Vasile, and Calin Belta. Reactive Sampling-Based Temporal Logic Path Planning. In 5th Workshop on Formal Methods for Robotics and Automation, Berkeley, CA, USA, July 2014. link.
Sampling-Based Temporal Logic Path Planning
Cristian-Ioan Vasile and Calin Belta. Sampling-Based Temporal Logic Path Planning. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 4817–4822, Tokyo, Japan, November 2013. doi:10.1109/IROS.2013.6697051.
Pages
