@misc{indiciae24741e0d27ce,
  title = {Optimal Mission Planner with Timed Temporal Logic Constraints},
  author = {Yuchen Zhou and Dipankar Maity and John S. Baras},
  year = {2015},
  doi = {10.1109/ecc.2015.7330634},
  url = {https://arxiv.org/abs/1510.01261},
  note = {Source identifier: 1510.01261}
}