Formal Verification of an Autonomous Personal Robotic Assistant
Formal Verification of an Autonomous Personal Robotic Assistant
复制标题
自主个人机器人助理的形式验证
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
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.1145/2461328.2461369
发表时间：
2013
期刊：
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Yanni Kouskoulas;David W. Renshaw;André Platzer;P. Kazanzides
通讯作者：
P. Kazanzides