Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray. Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 271-276, Elsevier, 2018. [doi]

Abstract

Abstract is missing.