Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
复制标题
通过形式验证实现可靠的自主机器人助手：案例研究
DOI：
10.1109/thms.2015.2425139
复制
发表时间：
2016
影响因子：
3.6
通讯作者：
Webster M
中科院分区：
文献类型：
--
作者：
Webster M
登录
查看更多内容
多机器人系统：建模、规格说明和模型检查
DOI：
10.5772/7349
发表时间：
2010
期刊：
The New England journal of medicine
影响因子：
--
作者：
Ammar Mohammed;U. Furbach;Frieder Stolzenburg
通讯作者：
Frieder Stolzenburg
迈向基于语言的机器人行为验证
DOI：
10.1109/iros.2011.6095028
发表时间：
2011
期刊：
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Anthony Cowley;C. J. Taylor
通讯作者：
C. J. Taylor
勃拉姆斯的形式语义学
DOI：
10.1007/978-3-642-22359-4_18
发表时间：
2011
期刊：
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Richard Stocker;M. Sierhuis;Louise Dennis;C. Dixon;Michael Fisher
通讯作者：
Michael Fisher
共享空间，共享生活 - 机器人移动性对家庭伴侣机器人用户感知的影响
DOI：
--
发表时间：
2013
期刊：
International Conference on Software Reuse
影响因子：
--
作者：
D. Syrdal;K. Dautenhahn;K. Koay;M. Walters;W. C. Ho
通讯作者：
W. C. Ho
工作实践建模与仿真：工作系统设计方法
DOI：
10.1109/mis.2002.1039830
发表时间：
2002
期刊：
IEEE Intell. Syst.
影响因子：
--
作者：
M. Sierhuis;W. Clancey
通讯作者：
W. Clancey