Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study.
Bertram WortelenAndreas LüdtkeDenis JavauxSonja SieviPublished in: ECCE (2014)
Keyphrases
- human machine interaction
- formal verification
- model checking
- case study
- gesture recognition
- spoken dialogue systems
- model checker
- human machine
- automated verification
- recognition scheme
- bounded model checking
- focus of attention
- symbolic model checking
- spontaneous speech
- machine learning
- online training
- set top box
- smart environments
- formal specification
- wireless sensor networks