Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
Time-Window Temporal Logic
Robustness Measures and Monitors for Time Window Temporal Logic
Automata-based Optimal Planning with Relaxed Specifications
Multi-robot routing and scheduling with temporal logic and synchronization constraints
Alessio Mosca, Cristian Ioan Vasile, Calin Belta, and Davide M. Raimondo. Multi-robot routing and scheduling with temporal logic and synchronization constraints. In IEEE International Conference on Control and Robots (ICCR), Jeju Island, South Korea, December 2019.
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.
Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints
Derya Aksaray, Cristian-Ioan Vasile, and Calin Belta. Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints. In IEEE International Conference on Robotics and Automation (ICRA), pages 3141–3146, Stockholm, Sweden, May 2016. doi:10.1109/ICRA.2016.7487481.
Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, and Calin Belta. Time Window Temporal Logic. Theoretical Computer Science, 691(Supplement C), pages 27–54, August 2017. doi:10.1016/j.tcs.2017.07.012.
An Automata-Theoretic Approach to the Vehicle Routing Problem
Cristian-Ioan Vasile and Calin Belta. An Automata-Theoretic Approach to the Vehicle Routing Problem. In Robotics: Science and Systems Conference (RSS), pages 1–9, Berkeley, California, USA, July 2014. link.
