activity
20092021
most citedOptimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

3 citations · 13 across the 15 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 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.…