TY  - RPRT
TI  - Optimal Control of MDPs with Temporal Logic Constraints
AU  - Maria Svorenova
AU  - Ivana Cerna
AU  - Calin Belta
PY  - 2013
UR  - https://arxiv.org/abs/1303.1942
ID  - 1303.1942
ER  -