Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.

Rafael Rodrigues da Silva Bo Wu Jin Dai Hai Lin

Published in: AAAI Fall Symposia (2016)

Keyphrases

extended abstract
formal methods
data mining
cooperative
knowledge representation
design process