TY  - RPRT
TI  - Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications
AU  - Krishnendu Chatterjee
AU  - Martin Chmelík
AU  - Raghav Gupta
AU  - Ayush Kanodia
PY  - 2015
UR  - https://arxiv.org/abs/1409.3360
ID  - 1409.3360
ER  -