Stochastic System

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.

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.