@misc{indiciae534758543c0b,
  title = {Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic},
  author = {Yuchen Zhou and Dipankar Maity and John S. Baras},
  year = {2016},
  url = {https://arxiv.org/abs/1603.08246},
  note = {Source identifier: 1603.08246}
}