Lars Lindemann

Formal Methods for Multi-Agent Feedback Control Systems