TY  - RPRT
TI  - Optimal Mission Planner with Timed Temporal Logic Constraints
AU  - Yuchen Zhou
AU  - Dipankar Maity
AU  - John S. Baras
PY  - 2015
DO  - 10.1109/ecc.2015.7330634
UR  - https://arxiv.org/abs/1510.01261
ID  - 1510.01261
ER  -