A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.
Denis JavauxBertram WortelenAndreas LüdtkeCharles PecheurRegina PeldszusSonja SieviYuri YushteinPublished in: AAAI Spring Symposia (2014)