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.
Vehicle Routing Problem
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.