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]
@inproceedings{HaesaertNVTAAM18,
title = {Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations},
author = {Sofie Haesaert and Petter Nilsson and Cristian Ioan Vasile and Rohan Thakker and Ali-akbar Agha-mohammadi and Aaron D. Ames and Richard M. Murray},
year = {2018},
doi = {10.1016/j.ifacol.2018.08.046},
url = {https://doi.org/10.1016/j.ifacol.2018.08.046},
researchr = {https://researchr.org/publication/HaesaertNVTAAM18},
cites = {0},
citedby = {0},
pages = {271-276},
booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018},
editor = {Alessandro Abate and Antoine Girard and Maurice Heemels},
volume = {51},
number = {16},
series = {IFAC-PapersOnLine},
publisher = {Elsevier},
}