A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
复制标题
概率群体系统验证的反抽象技术
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
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：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
Alexandre Campo
通讯作者：
Alexandre Campo
交错多智能体系统上模型检查时间认知逻辑的偏序约简
影响因子：
0.8
作者：
Lomuscio A
通讯作者：
Lomuscio A
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：
--
发表时间：
2009
期刊：
International Workshop Automated Verification Critical Systems
影响因子：
--
作者：
Douglas Graham;Muffy Calder;Alice Miller
通讯作者：
Alice Miller