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.
