Robotics
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
Compositional and Contract-based Verification for Autonomous Driving on Road Networks
Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, and Daniela Rus. Compositional and Contract-based Verification for Autonomous Driving on Road Networks. In International Symposium on Robotics Research (ISRR), pages -, Puerto Varas, Chile, December 2017.
Reinforcement Learning With Temporal Logic Rewards
Xiao Li, Cristian-Ioan Vasile, and Calin Belta. Reinforcement Learning With Temporal Logic Rewards. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3834-3839, Vancouver, BC, Canada, September 2017. doi:10.1109/IROS.2017.8206234.
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Cristian-Ioan Vasile, Vasumathi Raman, and Sertac Karaman. Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3840-3847, Vancouver, BC, Canada, September 2017. doi:10.1109/IROS.2017.8206235.
Language-Guided Sampling-based Planning using Temporal Relaxation
Francisco Penedo Alvarez, Cristian-Ioan Vasile, and Calin Belta. Language-Guided Sampling-based Planning using Temporal Relaxation. In Workshop on the Algorithmic Foundations of Robotics (WAFR), pages -, San Francisco, CA, USA, December 2016. link.
Minimum-violation scLTL motion planning for mobility-on-demand
Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, and Daniela Rus. Minimum-violation scLTL motion planning for mobility-on-demand. In IEEE International Conference on Robotics and Automation (ICRA), pages 1481-1488, Singapore, May 2017. doi:10.1109/ICRA.2017.7989177.
Multi-vehicle motion planning for social optimal mobility-on-demand
Jesper Karlsson, Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, and Daniela Rus. Multi-vehicle motion planning for social optimal mobility-on-demand. In IEEE International Conference on Robotics and Automation (ICRA), pages accepted, Brisbane, Australia, May 2018. doi:.
Control in Belief Space with Temporal Logic Specifications
Cristian-Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications. In IEEE Conference on Decision and Control (CDC), pages 7419-7424, Las Vegas, NV, USA, December 2016. doi:10.1109/CDC.2016.7799415.
Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints
Cristofalo Eric, Leahy Kevin, Vasile Cristian Ioan, Montijano Eduardo, Schwager Mac, and Belta Calin. Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints. In International Symposium on Experimental Robotics (ISER), pages 525-537, Tokyo, Japan, October 2016. doi:10.1007/978-3-319-50115-4_46.
Pages
