Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
复制标题
验证概率群体系统中有限时间属性的出现
DOI：
10.24963/ijcai.2018/56
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Lomuscio A
中科院分区：
文献类型：
--
作者：
Lomuscio A
登录
查看更多内容
DOI：
10.1016/j.robot.2011.10.005
发表时间：
2012-02
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Savas Konur;C. Dixon;Michael Fisher
通讯作者：
Savas Konur;C. Dixon;Michael Fisher
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
使用马尔可夫链的广义优惠券收集器问题的新结果
DOI：
10.1017/s0021900200012547
发表时间：
2014
期刊：
J. Appl. Probab.
影响因子：
--
作者：
E. Anceaume;Yann Busnel;B. Sericola
通讯作者：
B. Sericola
基于蚂蚁的无位置集群概率模型检验
DOI：
10.1007/978-3-319-40379-3_13
发表时间：
2016
期刊：
Inf. Comput.
影响因子：
--
作者：
Paul Gainer;C. Dixon;U. Hustadt
通讯作者：
U. Hustadt
使用基于状态的模型对随机分布式系统进行参数化验证
DOI：
10.5591/978-1-57735-516-8/ijcai11-279
发表时间：
2008
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Douglas Graham
通讯作者：
Douglas Graham