@conference{HaNiVaThAgAmMu-ADHS-2018,
    author    = {Haesaert, Sofie and Nilsson, Petter and Vasile, Cristian Ioan and Thakker, Rohan and Agha-mohammadi, Ali-akbar and Ames, Aaron D. and Murray, Richard M.},
    title     = {{Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations}},
    booktitle = {IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},
    pages     = {271--276},
    month     = {July},
    address   = {Oxford, UK},
    year      = {2018},
    note      = {\href{https://www.sciencedirect.com/science/article/pii/S2405896318311625?via%3Dihub}{doi:10.1016/j.ifacol.2018.08.046}}
}