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.
Formal Assurance for Cognitive Architecture Based Autonomous Agent
NASA Formal Methods (NFM 2017) Symposium ; 2017 ; Moffett Field, CA, United States
16.05.2017
Aufsatz (Konferenz)
Keine Angabe
Englisch
A Deep Multi-Agent Reinforcement Learning Approach to Autonomous Separation Assurance
ArXiv | 2020
|Cognitive Hybrid Control of an Autonomous Agent
IEEE | 2008
|