Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination
| Title | Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Dai, Jin, Benini, Alessandro, Lin, Hai, Antsaklis, Panos J, Rutherford, Matthew J, Valavanis, Kimon P |
| Conference Name | Control and Automation (MED), 2016 24th Mediterranean Conference on |
| Publisher | IEEE |
| Keywords | 1446288 |
| Citation Key | dai2016learning |