Decentralized control of robotic swarms from high-level temporal logic specifications.
Salar MoarrefHadas Kress-GazitPublished in: MRS (2017)
Keyphrases
- temporal logic
- decentralized control
- collective behavior
- concurrent systems
- model checking
- transition systems
- robotic systems
- reactive systems
- bounded model checking
- model checker
- formal specification language
- formal specification
- swarm intelligence
- multiagent systems
- markov decision processes
- goal oriented
- multi agent systems
- linear temporal logic
- formal verification
- smart grid
- verification method
- mobile robot
- dynamic environments
- virtual communities
- information flow
- belief revision
- social behavior
- cooperative
- grid systems
- decision makers
- dynamic programming
- search space