Yuchen Zhou, Dipankar Maity, John S. Baras: Optimal Mission Planner with Timed Temporal Logic Constraints. CoRR abs/1510.01261 (2015)