# Formal Methods for Multi-Agent Feedback Control Systems

Canonical: https://www.bookquiver.com/lars-lindemann/formal-methods-for-multi-agent-feedback-control-systems

![Formal Methods for Multi-Agent Feedback Control Systems](https://quivercdn.com/covers/the-mit-press/lars-lindemann/formal-methods-for-multi-agent-feedback-control-systems_978-02-6204-971-9.jpg?v=2026-05-28%2004%3A09%3A58)

- Authors: [Lars Lindemann](https://www.bookquiver.com/lars-lindemann), [Dimos V. Dimarogonas](https://www.bookquiver.com/dimos-v-dimarogonas)
- Language: en_US
- Published: 2025-04-29

## Description

An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees. Multi-agent control systems can accomplish tasks that single-agent systems cannot...

## Editions

### Formal Methods for Multi-Agent Feedback Control Systems

- Publisher: the_mit_press
- ISBN: 978-02-6204-971-9
- Pages: 312
- Published: 2025-04-29
- Language: en_US