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.
Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, and Daniela Rus. Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. In IEEE International Conference on Robotics and Automation (ICRA), pages 5807-5814, Montreal, Canada, May 2019. doi:10.1109/ICRA.2019.8793813.
Noushin Mehdipour, Cristian Ioan Vasile, and Calin Belta. Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. In American Control Conference (ACC), Philadelphia, PA, USA, July 2019. doi:10.23919/ACC.2019.8814487.
Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, and Daniela Rus. Counterexample-Guided Safety Contracts for Autonomous Driving. In Workshop on the Algorithmic Foundations of Robotics (WAFR), pages 1–16, Merida, Mexico, December 2018. link.
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, and Calin Belta. Metrics for Signal Temporal Logic Formulae. In IEEE Conference on Decision and Control (CDC), pages 1542–1547, Miami Beach, FL, USA, December 2018. doi:10.1109/CDC.2018.8619541.
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian-Ioan Vasile, Ali-akbar Agha-mohammadi, Richard M. Murray, and Aaron D. Ames. Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. In Robotics: Science and Systems Conference (RSS), pages 1–9, Pittsburgh, Pennsylvania, USA, June 2018. link.
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, and Abraham P. Vinod. ARCH-COMP18 Category Report: Stochastic Modelling. In ADHS Applied Verification for Continuous and Hybrid Systems (ARCH) Workshop, pages 71–103, Oxford, UK, July 2018. doi:10.29007/7ks7.
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Aghamohammadi, Aaron D. Ames, and Richard M. Murray. Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pages 271–276, Oxford, UK, July 2018. doi:10.1016/j.ifacol.2018.08.046.
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.
