@inproceedings{1206053,
 address = {Seattle, Washington, USA},
 author = {Mária Svoreňová and Martin Chmelík and Kevin Leahy and Hasan Ferit Eniser and Krishnendu Chatterjee and Ivana Černá and Calin Belta},
 booktitle = {Proceedings of ACM international conference on Hybrid Systems: Computation and Control},
 howpublished = {elektronická verze "online"},
 isbn = {978-1-4503-3433-4},
 keywords = {control; linear temporal logic (LTL); partially observable},
 language = {eng},
 location = {Seattle, Washington, USA},
 pages = {233-238},
 publisher = {Association for Computing Machinery (ACM)},
 title = {Temporal Logic Motion Planning using POMDPs with Parity Objectives},
 year = {2015}
}