Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning

Rodrigo F. Araujo, Alexandre Ribeiro, Iury V. Bessa, Lucas C. Cordeiro, Joao E. C. Filho

Research output: Other contributionpeer-review

Original languageEnglish
Publication statusPublished - 2017

Keywords

  • optimization
  • satisfiability modulo theory
  • path planning
  • mobile robots

Cite this