Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications.
Salar MoarrefHadas Kress-GazitPublished in: Auton. Robots (2020)
Keyphrases
- temporal logic
- high level
- concurrent systems
- model checking
- transition systems
- bounded model checking
- model checker
- reactive systems
- cooperative
- formal specification language
- human operators
- evolutionary robotics
- modal logic
- mobile robot
- satisfiability problem
- formal specification
- control system
- particle swarm optimization
- temporal knowledge
- mazurkiewicz traces
- linear temporal logic
- predicate logic
- formal verification
- reinforcement learning
- multi agent
- autonomous robots
- controller synthesis
- robotic systems
- modular robots
- belief revision
- programming language
- distributed systems
- verification method
- legged robots
- finite state
- symbolic model checking
- real robot
- dynamic constraints
- dynamic environments
- dynamic programming
- multi robot
- automata theoretic
- formal methods