Lars Lindemann

• Formal Methods for Multi-Agent Feedback Control Systems