Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Multi-Robot Systems
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
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.
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
Austin M Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadradinni, Zachary Serlin, Roberto Tron, and Calin Belta. Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications. In International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, October 2019.
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. In M. Ani Hsieh, Oussama Khatib, and Vijay Kumar, editors, Experimental Robotics, volume 109 of Springer Tracts in Advanced Robotics, pages 605-619. Springer International Publishing, 2016. isbn: 978-3-319-23777-0, link
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
