2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.RO2017★ 2 cited
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)
Rodrigo F. Araújo, Alexandre Ribeiro, Iury V. Bessa +2
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique.…
cs.AI2017★ 2 cited
Counterexample Guided Inductive Optimization
Rodrigo F. Araujo, Higo F. Albuquerque, Iury V. de Bessa +2
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO r…