Probabilistic Model Checking of Partially Controlled Multi-agent Systems
| Title | Probabilistic Model Checking of Partially Controlled Multi-agent Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Junges, Sebastian, Jansen, Nils, Zhang, Ruohan, Katoen, Joost-Pieter, Topcu, Ufuk, Hayhoe, Mary |
| Conference Name | Under review by AAAI 2018 |
| Keywords | 1624328 |
| Citation Key | junges_aaai17 |