Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.
Vasumathi RamanHadas Kress-GazitPublished in: CoRR (2014)
Keyphrases
- high level
- mobile robot
- real robot
- low level
- unknown environments
- human robot interaction
- humanoid robot
- robot navigation
- autonomous robots
- path planning
- multi robot
- mutual adaptation
- vision system
- simultaneous localization and mapping
- real time
- goal directed
- robotic systems
- skill learning
- experimental platform
- service robots
- robot soccer
- higher level
- generating explanations
- robot programming
- robot manipulators
- robot control
- lower level
- outdoor environments
- position and orientation
- multi core processors
- intermediate level
- semantic information
- manipulation tasks
- simulated robot
- visual servoing
- behavior analysis
- human behavior