A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

TitleA Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
Publication TypeConference Paper
Year of Publication2014
AuthorsJavaux, D, Wortelen B, Lüdtke A, Pecheur C, Peldszus R, Sievi S, Yushtein Y
EditorEric G. Mercer, Michael A. Goodrich, NREB
Conference NameProceedings of AAAI Symposium on Formal Verification in Human-Machine Systems
PublisherAAAI
URLhttp://lvl.info.ucl.ac.be/Publications/AMethodologyForAnalyzingHuman-AutomationInteractionsInFlightOperationsUsingFormalVerificationTechniques