Formal Methods for Multi-Agent Feedback Control Systems - Dimos V. Dimarogonas, Lars Lindemann
An introduction to formal methods for feedback control of multi-agent systems with safety and…
An introduction to formal methods for feedback control of multi-agent systems with safety and…
2 805 Kč
Dostupnost: skladem