Extended Abstract: Formal Design of Cooperative Multi-Agent Systems

Open in new window