Junges, Sebastian; Ábrahám, Erika; Hensel, Christian; Jansen, Nils; Katoen, Joost-Pieter; Quatmann, Tim; Volk, Matthias Parameter synthesis for Markov models: covering the parameter space. (English) Zbl 07873310 Form. Methods Syst. Des. 62, No. 1-3, 181-259 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English) Zbl 1443.68101 Inf. Comput. 272, Article ID 104504, 26 p. (2020). MSC: 68Q60 03B44 60J10 68Q25 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI arXiv