Access

    Check access

    Check availability in my library

    Order at Subito €


    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 2022 Forum



    Publication date :

    2022-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




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

    Baheri, Ali / Ren, Hao / Johnson, Benjamin et al. | TIBKAT | 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