Counterexample guided inductive optimization applied to mobile robots path planning

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]

Possibly Related Publications

The following publications are possibly variants of this publication: