"Provably correct continuous control for high-level robot behaviors with ..."

Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit (2013)

Details and statistics

DOI: 10.1109/ICRA.2013.6631152

access: closed

type: Conference or Workshop Paper

metadata version: 2018-11-14