@misc{indiciae296985f59b0b,
  title = {Optimal Path Planning under Temporal Logic Constraints},
  author = {Stephen L. Smith and Jana Tumova and Calin Belta and Daniela Rus},
  year = {2010},
  url = {https://arxiv.org/abs/1007.2212},
  note = {Source identifier: 1007.2212}
}