Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, and Daniela Rus. Deep Bayesian Non-parametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. In AAAI Conference on Artificial Intellifence, New York, NY, USA, July 2020.
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.
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.
Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, and Daniela Rus. Minimum violation scLTL motion planning for mobility-on-demand. In 2nd Symposium on the COntrol of NEtwork Systems (SCONES), page Poster, Boston, MA, USA, October 2017.
Brandon Araki, Kiran Vodrahalli, Cristian Ioan Vasile, and Daniela Rus. Learning to Plan with Logical Automata. In Infer to Control, Workshop on Probabilistic Reinforcement Learning and Structured Control (Infer2Control), NIPS, page Poster, Montreal, Canada, December 2018. link.
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, and Daniela Rus. Learning to Plan with Logical Automata. In Robotics: Science and Systems Conference (RSS), pages 1–9, Messe Freiburg, Germany, June 2019. link.
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
Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, and Daniela Rus. Compositional and Contract-based Verification for Autonomous Driving on Road Networks. In International Symposium on Robotics Research (ISRR), Puerto Varas, Chile, December 2017.
Xiao Li, Cristian-Ioan Vasile, and Calin Belta. Reinforcement Learning With Temporal Logic Rewards. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3834-3839, Vancouver, BC, Canada, September 2017. doi:10.1109/IROS.2017.8206234.
