Dimos V. Dimarogonas

• Formal Methods for Multi-Agent Feedback Control Systems