Resilient, Provably-Correct, and High-Level Robot Behaviors.
Kai Weng WongRüdiger EhlersHadas Kress-GazitPublished in: IEEE Trans. Robotics (2018)
Keyphrases
- provably correct
- high level
- low level
- real robot
- mobile robot
- unknown environments
- formal methods
- situation calculus
- mutual adaptation
- vision system
- human robot interaction
- humanoid robot
- robot navigation
- higher level
- real time
- error estimates
- robot soccer
- robot arm
- obstacle avoidance
- autonomous robots
- path planning
- multi robot
- human behavior
- programming language
- robotic systems
- robot manipulators
- database systems
- low level features