Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification Framework for Runtime Assurance of Autonomous UAS


    Beteiligte:
    J. T. Slagel (Autor:in) / L. M. White (Autor:in) / A. Dutle (Autor:in) / C. A. Munoz (Autor:in) / N. Crespo (Autor:in)

    Erscheinungsdatum :

    2024


    Format / Umfang :

    14 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 Archiv | 2005


    Runtime Verification for Autonomous Spacecraft Software

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