@string{ieeepress="© IEEE press"} @InProceedings{RPK13, author = {V. Raman and N. Piterman and H. Kress-Gazit}, title = {Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations}, booktitle = {IEEE International Conference on Robotics and Automation}, pages = {4075-4081}, year = {2013}, address = {Karlsruhe, Germany}, publisher = ieeepress, pdf = {2013/RPK13.pdf}, keywords = {Games,Synthesis}, }