Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Sampling-based Methods
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
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 2nd Symposium on the COntrol of NEtwork Systems (SCONES), page Poster, Boston, MA, USA, October 2017.
Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection
Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, and Daniela Rus. Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. In IEEE International Conference on Robotics and Automation (ICRA), pages 5807-5814, Montreal, Canada, May 2019. doi:10.1109/ICRA.2019.8793813.
Control in Belief Space with Temporal Logic Specifications using Vision-based Localization
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications using Vision-based Localization. International Journal of Robotics Research. 38(6):702-722. doi:10.1177/0278364919846340.
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 7298-7305, Brisbane, Australia, May 2018. doi:doi:10.1109/ICRA.2018.8462968.
Pages
