Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic.
Ruixuan YanAgung JuliusPublished in: CoRR (2020)
Keyphrases
- temporal logic
- model checking
- cooperative
- particle swarm optimization
- swarm intelligence
- modal logic
- concurrent systems
- mobile robot
- satisfiability problem
- distributed systems
- control signals
- collective behavior
- modular robots
- belief revision
- dynamic environments
- linear temporal logic
- mazurkiewicz traces
- robot teams
- multi swarm
- formation control
- verification method
- reactive systems
- temporal knowledge
- model checker
- multi agent
- automata theoretic
- epistemic logic
- multi objective
- robotic systems
- state space
- np complete