Formal Assurance for Cognitive Architecture Based Autonomous Agent.

著录项

• 作者

  Bhattacharyya, S.; Eskridge, T.; Neogi, N.; Carvalho, M.;

  展开▼
• 作者单位

  展开▼
• 年度 2017
• 页码 1-15
• 总页数 15
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Autonomy; Program verification (computers); Deployment; Automata theory; Architecture (computers); Translating; Safety;

  机译：自治;程序验证（计算机）;部署;自动机理论;架构（计算机）;翻译;安全;