Submitted by el_wehby on Fri, 05/25/2018 - 4:15pm
| Title | Automatic synthesis of cooperative multi-agent systems |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Dai, Jin, Lin, Hai |
| Conference Name | Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on |
| Publisher | IEEE |
| Keywords | 1446288 |
| Citation Key | dai2014automatic |
Automatic synthesis of cooperative multi-agent systems