Towards language-based verification of robot behaviors.
Anthony CowleyCamillo J. TaylorPublished in: IROS (2011)
Keyphrases
- robotic agents
- mobile robot
- unknown environments
- real robot
- vision system
- language learning
- model checking
- path planning
- specification language
- obstacle avoidance
- real time
- human robot
- mobile robotics
- robot manipulators
- autonomous robots
- humanoid robot
- multi robot
- programming language
- asynchronous circuits
- robot arm
- language processing
- signature verification
- programming environment
- formal methods
- goal directed
- human robot interaction
- motion planning
- natural language