Using Formal Verification to Evaluate Human-Automation Interaction: A Review.
Matthew L. BoltonEllen J. BassRadu I. SiminiceanuPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2013)
Keyphrases
- formal verification
- model checking
- human interaction
- human operators
- bounded model checking
- symbolic model checking
- human communication
- automated verification
- human robot interaction
- human interactions
- human computer interaction
- human behavior
- model checker
- human robot
- functional verification
- protein interaction
- human subjects
- turn taking
- heuristic search
- user interaction
- program slicing
- open source