1. A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems. Issue 28 (2022) Authors: Rosa, Marcelo; Cury, José E.R.; Baldissera, Fabio L. Journal: IFAC-PapersOnLine Issue: Volume 55:Issue 28(2022) Page Start: 150 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗