TY  - RPRT
TI  - Formal Assurance for Cognitive Architecture Based Autonomous Agent
AU  - Bhattacharyya, Siddhartha
AU  - Eskridge, Thomas
AU  - Neogi, Natasha
AU  - Carvalho, Marco
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170005470
ID  - 20170005470
ER  -