Visible to the public Biblio

Filters: Author is Katoen, Joost-Pieter  [Clear All Filters]
2018-05-17
Junges, Sebastian, Jansen, Nils, Zhang, Ruohan, Katoen, Joost-Pieter, Topcu, Ufuk, Hayhoe, Mary.  2018.  Probabilistic Model Checking of Partially Controlled Multi-agent Systems. Under review by AAAI 2018.