Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.
Siyuan LiuAdnane SaoudDimos V. DimarogonasPublished in: CoRR (2023)
Keyphrases
- temporal logic
- multi agent systems
- model checking
- controller synthesis
- modal logic
- concurrent systems
- satisfiability problem
- autonomic computing systems
- verification method
- linear temporal logic
- bounded model checking
- transition systems
- multi agent
- mazurkiewicz traces
- computation tree logic
- neural network
- temporal knowledge
- formal verification
- control algorithm
- robotic systems