Talks
A Formal Framework for Design and Analysis of Human-Machine Interaction
- Title
- A Formal Framework for Design and Analysis of Human-Machine Interaction
- Speaker(s)
- Sébastien Combéfis
- Context
- 2011 IEEE International Conference on Systems, Man, and Cybernetics, October 9-12, 2011, Anchorage, AK, USA
- File(s)
- combefis-smc2011-slides.pdf
Related Publication(s):
- A Formal Framework for Design and Analysis of Human-Machine Interaction. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. 2011 IEEE International Conference on Systems, Man, and Cybernetics.
Tags: -
Find It
Sections
Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences