Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein. A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press, 2014. [doi]
Abstract is missing.