Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    Runtime verification ; 2015 ; Vienna



    Publication date :

    2015-01-01


    Size :

    16 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown



    Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

    Grundt, Dominik / Köhne, Anna / Saxena, Ishan et al. | German Aerospace Center (DLR) | 2022

    Free access

    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. et al. | British Library Conference Proceedings | 2005


    Runtime verification for autonomous spacecraft software

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


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

    MULLINER COLLIN / MISURACA GRAZIANO / ALBERTSON GEORGE et al. | European Patent Office | 2024

    Free access