SVOREŇOVÁ, Mária, Martin CHMELÍK, Kevin LEAHY, Hasan Ferit ENISER, Krishnendu CHATTERJEE,
Ivana ČERNÁ a Calin BELTA. Temporal Logic Motion Planning using POMDPs with Parity Objectives. Online. In
Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 233-238. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728617.