1–2 von 2 Ergebnissen
|

    Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | AIAA | 2016
    Schlagwörter: Aviation Safety Reporting System

    Intent Inference-Based Flight-Deck Human-Automation Mode-Confusion Detection

    Lee, Sangjin / Hwang, Inseok / Leiden, Kenneth | AIAA | 2015
    Schlagwörter: Aviation Safety Reporting System