Verifying Fault-Tolerance in Probabilistic Swarm Systems
Verifying Fault-Tolerance in Probabilistic Swarm Systems
复制标题
验证概率群体系统中的容错能力
DOI：
10.24963/ijcai.2020/46
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Lomuscio A
中科院分区：
文献类型：
--
作者：
Lomuscio A
登录
查看更多内容
群体机器人中的高效多次觅食
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Alexandre Campo
通讯作者：
Alexandre Campo
DOI：
--
发表时间：
2019
期刊：
--
影响因子：
--
作者：
Lomuscio A
通讯作者：
Lomuscio A
DOI：
10.1016/j.robot.2012.03.003
发表时间：
2012
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
C. Dixon;A. Winfield;Michael Fisher;Chengxiu Zeng
通讯作者：
Chengxiu Zeng
结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性
影响因子：
1
作者：
Ezekiel J
通讯作者：
Ezekiel J
DOI：
10.1007/978-3-319-73721-8_1
发表时间：
2018
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Benjamin Aminof;S. Rubin;Ilina Stoilkovska;Josef Widder;Florian Zuleger
通讯作者：
Florian Zuleger