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.
Markov Decision Process
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.