Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System


    Beteiligte:
    Kane, Aaron (Autor:in) / Chowdhury, Omar (Autor:in) / Datta, Anupam (Autor:in) / Koopman, Philip (Autor:in)

    Kongress:

    Runtime verification ; 2015 ; Vienna



    Erscheinungsdatum :

    2015-01-01


    Format / Umfang :

    16 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

    Grundt, Dominik / Köhne, Anna / Saxena, Ishan et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff

    Runtime Assurance for Autonomous Aerospace Systems

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


    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


    RESTRICTIONS FOR AUTONOMOUS VEHICLE SOFTWARE RELEASES AT DEPLOYMENT, AT LAUNCH, AND AT RUNTIME

    MULLINER COLLIN / MISURACA GRAZIANO / ALBERTSON GEORGE et al. | Europäisches Patentamt | 2024

    Freier Zugriff