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.
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.
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
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.
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.
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.
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.
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.
