Title: Formal Methods for Multi-Agent Feedback Control Systems
Subjects: Mechanical engineering