Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    High Assurance Run-Time Monitoring Architecture for Autonomous Control


    Contributors:
    Chou, Yi (author) / Zutshi, Aditya (author) / Clark, Matthew (author)

    Conference:

    AIAA Scitech 2021 Forum



    Publication date :

    2021-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    HIGH ASSURANCE RUN-TIME MONITORING ARCHITECTURE FOR AUTONOMOUS CONTROL

    Chou, Yi / Zutshi, Aditya / Clark, Matthew | TIBKAT | 2021


    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    S. Bhattacharyya / T. Eskridge / N. Neogi et al. | NTIS | 2017


    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    Bhattacharyya, Siddhartha / Eskridge, Thomas / Neogi, Natasha et al. | NTRS | 2017


    Software assurance of autonomous spacecraft control

    Bocchino, Robert / Huntsberger, Terry / Feather, Martin S. et al. | NTRS | 2020