Synthesis in pMDPs: A Tale of 1001 Parameters.

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

Browse the full ATVA paper archive.