TY  - RPRT
TI  - Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
AU  - Yuchen Zhou
AU  - Dipankar Maity
AU  - John S. Baras
PY  - 2016
UR  - https://arxiv.org/abs/1603.08246
ID  - 1603.08246
ER  -