Learning-based Formal Synthesis of Cooperative Multi-agent Systems

Jin Dai, Alessandro Benini, Hai Lin +3

We propose a formal design framework for synthesizing coordination and control policies for cooperative multi-agent systems to accomplish a global mission. The global performance r…