@INPROCEEDINGS{Wong-RSS-14,
AUTHOR = {Kai Weng Wong AND Rüdiger Ehlers AND Hadas Kress-Gazit}, 
TITLE = {Correct High-level Robot Behavior in Environments with Unexpected Events}, 
BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
YEAR = {2014}, 
ADDRESS = {Berkeley, USA}, 
MONTH = {July} 
 }