TY  - RPRT
TI  - A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
AU  - Dorsa Sadigh
AU  - Eric S. Kim
AU  - Samuel Coogan
AU  - S. Shankar Sastry
AU  - Sanjit A. Seshia
PY  - 2014
UR  - https://arxiv.org/abs/1409.5486
ID  - 1409.5486
ER  -