Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks.
Lars LindemannDimos V. DimarogonasPublished in: Autom. (2019)
Keyphrases
- temporal logic
- control strategies
- multi agent systems
- model checking
- automata theoretic
- control system
- control strategy
- satisfiability problem
- modal logic
- concurrent systems
- traffic management
- bounded model checking
- linear temporal logic
- verification method
- mazurkiewicz traces
- computation tree logic
- multi agent
- transition systems
- genetic algorithm
- belief revision
- reinforcement learning
- temporal knowledge
- control policies
- model checker
- single agent
- qualitative reasoning
- robotic systems
- cooperative