Autonomous systems are designed and deployed in different modeling paradigms. These environments focus on specific concepts in designing the system. We focus our effort in the use of cognitive architectures to design autonomous agents to collaborate with humans to accomplish tasks in a mission. Our research focuses on introducing formal assurance methods to verify the behavior of agents designed in Soar, by translating the agent to the formal verification environment Uppaal.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Assurance for Cognitive Architecture Based Autonomous Agent


    Contributors:
    S. Bhattacharyya (author) / T. Eskridge (author) / N. Neogi (author) / M. Carvalho (author)

    Publication date :

    2017


    Size :

    15 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Formal Assurance for Cognitive Architecture Based Autonomous Agent

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


    High Assurance Run-Time Monitoring Architecture for Autonomous Control

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


    Autonomous Separation Assurance with Deep Multi-Agent Reinforcement Learning

    Brittain, Marc W. / Yang, Xuxi / Wei, Peng | AIAA | 2021


    HIGH ASSURANCE RUN-TIME MONITORING ARCHITECTURE FOR AUTONOMOUS CONTROL

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


    Cognitive Hybrid Control of an Autonomous Agent

    Lara, Bruno / Hermosillo, Jorge | IEEE | 2008