Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks.
Lars LindemannDimos V. DimarogonasPublished in: IEEE Control. Syst. Lett. (2019)
Keyphrases
- temporal logic
- multi agent systems
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- control signals
- multi agent
- belief revision
- computation tree logic
- linear temporal logic
- transition systems
- mazurkiewicz traces
- bounded model checking
- temporally extended goals
- dynamic constraints
- temporal properties
- model checker
- cooperative