A stochastically verifiable autonomous control architecture with reasoning
A stochastically verifiable autonomous control architecture with reasoning
复制标题
具有推理功能的随机可验证自主控制架构
DOI：
10.48550/arxiv.1611.03372
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Izzo Paolo
中科院分区：
文献类型：
--
作者：
Izzo Paolo
登录
查看更多内容
影响因子：
3.3
作者：
N. Lincoln;S. Veres
通讯作者：
N. Lincoln;S. Veres
用于验证代理程序的灵活框架
影响因子：
2.7
作者：
Louise Dennis;Berndt Müller;Rafael Heitor Bordini;Michael Fisher
通讯作者：
Michael Fisher
《智能系统：架构、设计和控制》，Alexander M. Meystel 和 James R. Albus，Wiley-Interscience，纽约，2001 年，xxi + 696 页，ISBN 0-471-19374-7（精装本，55.95 英镑） Wiley 智能系统系列
影响因子：
2.7
作者：
A. Andrew
通讯作者：
A. Andrew
Gwendolen：可验证代理的 BDI 语言
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Louise Dennis;Berndt Müller
通讯作者：
Berndt Müller
编程可验证的异构代理系统
影响因子：
20.6
作者：
Louise Dennis;Michael Fisher
通讯作者：
Michael Fisher