Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory

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.

Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language

Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track

Pages

Subscribe to Verifiable Robotics Research Group RSS