@article{counterexampleguidedinductiveoptimizatio,
  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},
  eprint = {1708.04028},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1708.04028v1},
}