Export 2 results:
Author Keyword Title [ Type(Desc)] Year
Filters: Author is Bingxin Xu  [Clear All Filters]
Conference Paper
V. Raman, Xu, B., and Kress-Gazit, H., Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 1233-1238.
S. Sarid, Xu, B., and Kress-Gazit, H., Guaranteeing High-Level Behaviors while Exploring Partially Known Maps, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.