Jin Dai, Alessandro Benini, Hai Lin 0002, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis. Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. In 24th Mediterranean Conference on Control and Automation, MED 2016, Athens, Greece, June 21-24, 2016. pages 1008-1013, IEEE, 2016. [doi]
Abstract is missing.