Author Details

Wortelen, Bertram, OFFIS Institute for Information Technology, Germany

  • 2014 AAAI Spring Symposium Series - Formal Verification and Modeling in Human-Machine Systems
    A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
    Abstract  PDF