Parameter Synthesis in Markov Models: A Gentle Survey

Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter (Corresponding author)

Cham : Springer (2022)
Contribution to a book

In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.)
Page(s)/Article-Nr.: 407-437