Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho. Counterexample guided inductive optimization applied to mobile robots path planning. In 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), Curitiba, Brazil, November 8-11, 2017. pages 1-6, IEEE, 2017. [doi]
@inproceedings{AraujoRBCF17,
title = {Counterexample guided inductive optimization applied to mobile robots path planning},
author = {Rodrigo F. Araujo and Alexandre Ribeiro and Iury Valente de Bessa and Lucas C. Cordeiro and João Edgar Chaves Filho},
year = {2017},
doi = {10.1109/SBR-LARS-R.2017.8215336},
url = {https://doi.org/10.1109/SBR-LARS-R.2017.8215336},
researchr = {https://researchr.org/publication/AraujoRBCF17},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), Curitiba, Brazil, November 8-11, 2017},
publisher = {IEEE},
isbn = {978-1-5386-0956-9},
}