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]

Authors

Rodrigo F. Araujo

This author has not been identified. Look up 'Rodrigo F. Araujo' in Google

Alexandre Ribeiro

This author has not been identified. Look up 'Alexandre Ribeiro' in Google

Iury Valente de Bessa

This author has not been identified. Look up 'Iury Valente de Bessa' in Google

Lucas C. Cordeiro

This author has not been identified. Look up 'Lucas C. Cordeiro' in Google

João Edgar Chaves Filho

This author has not been identified. Look up 'João Edgar Chaves Filho' in Google