Home /Research /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

Year
2019
Citations
26

Keywords

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

Related papers

Browse all SWARM papers