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]
Abstract is missing.