Extended Abstract: Formal Design of Cooperative Multi-Agent Systems

Rafael Rodrigues da Silva, Bo Wu 0005, Jin Dai, Hai Lin 0002. Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. In 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016. AAAI Press, 2016. [doi]

Abstract

Abstract is missing.