Formal Methods for Multi-Agent Feedback Control Systems

Lars Lindemann is Assistant Professor in the Thomas Lord Department of Computer Science within the School of Advanced Computing at the University of Southern California. Dimos V. Dimarogonas is Professor of Automatic Control and Head of Division at the Division of Decision and Control Systems within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology.