Formal verification of human-robot teamwork.
Rafael H. BordiniMichael FisherMaarten SierhuisPublished in: HRI (2009)
Keyphrases
- formal verification
- human robot
- human robot interaction
- model checking
- dialogue system
- humanoid robot
- bounded model checking
- model checker
- action selection
- robotic systems
- symbolic model checking
- human users
- intelligent agents
- automated verification
- multi agent
- robot behavior
- program slicing
- computer vision
- artificial life
- gesture recognition
- multi modal
- fuzzy logic
- natural language
- artificial intelligence
- genetic algorithm