Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
复制标题
覆盖驱动验证 - 一种验证直接与人类交互的机器人代码的方法
DOI：
10.48550/arxiv.1509.04852
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Araiza-Illan D
中科院分区：
文献类型：
--
作者：
Araiza-Illan D
登录
查看更多内容
寻求一种基于模型的测试和分析相结合的方法
DOI：
10.5220/0004873106090618
发表时间：
2014
期刊：
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
影响因子：
--
作者：
B. Nielsen
通讯作者：
B. Nielsen
多机器人系统：建模、规格说明和模型检查
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
移动机器人导航算法的验证和测试：以 SPARK 为例
DOI：
10.1109/iros.2014.6942753
发表时间：
2014
期刊：
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
P. Trojanek;K. Eder
通讯作者：
K. Eder
实现安全的人机交互
DOI：
10.1007/978-3-642-23232-9_29
发表时间：
2011
期刊：
The 23rd IEEE International Symposium on Robot and Human Interactive Communication
影响因子：
--
作者：
E. Grigore;K. Eder;A. Lenz;Sergey Skachek;A. Pipe;C. Melhuish
通讯作者：
C. Melhuish