Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    Baheri, Ali (author) / Ren, Hao (author) / Johnson, Benjamin (author) / Razzaghi, Pouria (author) / Wei, Peng (author)

    Conference:

    AIAA Aviation Forum ; 2022 ; Chicago, Ill.; Online



    Publication date :

    2022


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



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

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


    Evaluating and Certifying Autonomy in Aviation

    Verma, Anuja / Maroney, David R. | AIAA | 2024


    A Safety-Case Approach for Certifying Adaptive Systems

    Rushby, J. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2009