Publication [CubuktepeJJKT18] Synthesis in pMDPs: A Tale of 1001 Parameters Cubuktepe, M.; Jansen, N.; Junges, S.; Katoen, J.-P. and Topcu, U. In ATVA, pages 160-176, Springer, Lecture Notes in Computer Science 11138, 2018.Downloads: bib
