Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Towards Assurance for Safety-Critical, Machine Learning-enabled Aviation Systems


    Contributors:

    Conference:

    G34 Committee Tech Talks ; 2022 ; Virtual, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Behavioral Competency Model for Safety Assurance of Automated Aviation Systems

    Lascara, Brock / Lacher, Andrew / DeGarmo, Matt et al. | AIAA | 2019



    Towards High-Assurance Cross-Domain Solutions for Connected Aviation

    Federici, Fabio / Morgan, Samuel / Prins, Taylor et al. | IEEE | 2024


    A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

    Baheri, Ali / Ren, Hao / Johnson, Benjamin et al. | TIBKAT | 2022


    A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

    Baheri, Ali / Ren, Hao / Johnson, Benjamin et al. | AIAA | 2022