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