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.
Time-Window Temporal Logic
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.
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.
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.