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. ADHS 2018: 271-276