Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
复制标题
对称性约简可以对群体导航算法更复杂的紧急行为进行模型检查
DOI：
10.48550/arxiv.1505.05695
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Antuña L
中科院分区：
文献类型：
--
作者：
Antuña L
登录
查看更多内容
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：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
A. Winfield;Jin Sa;Carmen Fernandez;C. Dixon;M. Fisher
通讯作者：
M. Fisher
DOI：
--
发表时间：
2011
期刊：
Towards Autonomous Robotic Systems
影响因子：
--
作者：
C. Dixon;A. Winfield;Michael Fisher
通讯作者：
Michael Fisher
群体机器人系统中突发行为的形式化规范
影响因子：
2.3
作者：
A. Winfield;Jin Sa;M. Fernández;C. Dixon;M. Fisher
通讯作者：
M. Fisher
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Pedro de Carvalho Gomes
通讯作者：
Pedro de Carvalho Gomes