Kevin Leahy

2015

Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Motion Planning using POMDPs with Parity Objectives,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 233-238. [bibtex]