Profiles
Contents from Sonja Sievi 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.