Author Details

Yushtein, Yuri, European Space Research and Technology Center (ESTEC), Netherlands

  • 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