The paper Parameter synthesis for Markov models: covering the parameter space by Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk was published in Formal Methods in System Design.

The paper considers analysis algorithms for parametric Markov chains. The transition probabilities in parametric Markov chains are represented by functions over parameters and allow to capture unknown or uncertain probabilities. The paper present various analysis algorithms for parametric discrete-time Markov chains and Markov decision processes, a software tool realising these techniques, and an extensive experimental evaluation on benchmarks from various application areas.

The paper is available at https://doi.org/10.1007/s10703-023-00442-x.