Aerial Robotics
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
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.
Control in Belief Space with Temporal Logic Specifications using Vision-based Localization
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications using Vision-based Localization. International Journal of Robotics Research. 38(6):702-722. doi:10.1177/0278364919846340.
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
Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints
Cristofalo Eric, Leahy Kevin, Vasile Cristian Ioan, Montijano Eduardo, Schwager Mac, and Belta Calin. Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints. In International Symposium on Experimental Robotics (ISER), pages 525-537, Tokyo, Japan, October 2016. doi:10.1007/978-3-319-50115-4_46.
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.
Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, page 1-16, 2016. doi:10.1007/s10514-015-9519-z.
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 International Symposium on Experimental Robotics (ISER), pages –, Marrakech/Essaouira, Morocco, June 2014.
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.
