Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.

Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit

Browse the full ICRA paper archive.