3 citations · 13 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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.PL2017★ 2 cited
Counterexample-Guided k-Induction Verification for Fast Bug Detection
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
Recently, the k-induction algorithm has proven to be a successful approach for both finding bugs and proving correctness. However, since the algorithm is an incremental approach, i…