Synthesis in pMDPs : A Tale of 1001 Parameters

Cham / Springer (2018) [Contribution to a book, Contribution to a conference proceedings]

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang
Page(s): 160-176

Authors

Authors

Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk

Identifier