Automatic synthesis of cooperative multi-agent systems

Jin Dai, Hai Lin. Automatic synthesis of cooperative multi-agent systems. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 6173-6178, IEEE, 2014. [doi]

Abstract

Abstract is missing.