Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification Framework for Runtime Assurance of Autonomous UAS


    Contributors:
    J. T. Slagel (author) / L. M. White (author) / A. Dutle (author) / C. A. Munoz (author) / N. Crespo (author)

    Publication date :

    2024


    Size :

    14 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    A Verification Framework for Runtime Assurance of Autonomous UAS

    Slagel, J Tanner / White, Lauren M. / Dutle, Aaron et al. | IEEE | 2024


    Runtime Assurance for Autonomous Aerospace Systems

    Schierman, John D. / DeVore, Michael D. / Richards, Nathan D. et al. | AIAA | 2020


    Runtime Assurance for Autonomous Driving with Neural Reachability

    Bogomolov, Sergiy / Hekal, Abdelrahman / Hoxha, Bardh et al. | IEEE | 2022


    Runtime verification for autonomous spacecraft software

    Goldberg, A. / Havelund, K. / McGann, C. | Tema Archive | 2005


    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005