An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty
Vehicle Routing Problem
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
Planning for Heterogeneous Teams of Robots with Temporal Logic, Capability, and Resource Constraints
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic 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.
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.
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.
