Formal Methods for Multi-Agent Feedback Control Systems
An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.
