TY  - RPRT
TI  - Learning-based Formal Synthesis of Cooperative Multi-agent Systems
AU  - Jin Dai
AU  - Alessandro Benini
AU  - Hai Lin
AU  - Panos J. Antsaklis
AU  - Matthew J. Rutherford
AU  - Kimon P. Valavanis
PY  - 2017
UR  - https://arxiv.org/abs/1705.10427
ID  - 1705.10427
ER  -