@misc{indiciae890491c86f91,
  title = {Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)},
  author = {Rodrigo F. Araújo and Alexandre Ribeiro and Iury V. Bessa and Lucas C. Cordeiro and João E. C. Filho},
  year = {2017},
  url = {https://arxiv.org/abs/1708.04028},
  note = {Source identifier: 1708.04028}
}