TY  - RPRT
TI  - Optimal Path Planning under Temporal Logic Constraints
AU  - Stephen L. Smith
AU  - Jana Tumova
AU  - Calin Belta
AU  - Daniela Rus
PY  - 2010
UR  - https://arxiv.org/abs/1007.2212
ID  - 1007.2212
ER  -