Profiles
Contents from Denis Javaux on this site
Publications
2014
- A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. Denis Javaux, Bertram Wortelen, Andreas Lüdtke?, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.
Talks
-
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