Maria Svorenova, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta. Temporal logic motion planning using POMDPs with parity objectives: case study paper. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 233-238, ACM, 2015. [doi]
Abstract is missing.