Formal Methods for Multi-Agent Feedback Control Systems – Dimos V. Dimarogonas | Storytel Books