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]
@inproceedings{DaiL14-4, title = {Automatic synthesis of cooperative multi-agent systems}, author = {Jin Dai and Hai Lin}, year = {2014}, doi = {10.1109/CDC.2014.7040356}, url = {http://dx.doi.org/10.1109/CDC.2014.7040356}, researchr = {https://researchr.org/publication/DaiL14-4}, cites = {0}, citedby = {0}, pages = {6173-6178}, booktitle = {53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014}, publisher = {IEEE}, isbn = {978-1-4799-7746-8}, }