Yuchen Zhou 0006 Dipankar Maity John S. Baras Timed automata approach for motion planning using metric interval temporal logic. 690-695 2016 ECC https://doi.org/10.1109/ECC.2016.7810369 conf/eucc/2016 db/conf/eucc/eucc2016.html#ZhouMB16