首页 /研究 /Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
SWARM

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications

Salar Moarref, Hadas Kress‐Gazit

发表年份
2019
引用次数
26

关键词

Swarm roboticsComputer scienceSwarm behaviourRobotSynchronization (alternating current)Field (mathematics)Artificial intelligenceRoboticsDecentralised systemTemporal logic

相关论文

查看 SWARM 分类全部论文