Formal Verification of Human-Automation Interaction.
Asaf DeganiMichael HeymannPublished in: Hum. Factors (2002)
Keyphrases
- formal verification
- model checking
- human interaction
- human operators
- human communication
- human robot
- human computer interaction
- social behavior
- model checker
- automated verification
- human robot interaction
- human interactions
- program slicing
- bounded model checking
- turn taking
- symbolic model checking
- cognitive process
- human subjects
- artificial intelligence
- human human interaction
- natural interaction
- human users
- human behavior
- software engineering
- multi agent systems
- knowledge base