Shahar Sarid, Bingxin Xu, Hadas Kress-Gazit. Guaranteeing High-Level Behaviors while Exploring Partially Known Maps. In Robotics: Science and Systems VIII, University of Sydney, Sydney, NSW, Australia, July 9-13, 2012. 2012. [doi]
Abstract is missing.