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

Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit. Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013. pages 4075-4081, IEEE, 2013. [doi]

Authors

Vasumathi Raman

This author has not been identified. Look up 'Vasumathi Raman' in Google

Nir Piterman

This author has not been identified. Look up 'Nir Piterman' in Google

Hadas Kress-Gazit

This author has not been identified. Look up 'Hadas Kress-Gazit' in Google