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

Institutions

  • Information & Communication Technology (ICT) Profile Area [080017]
  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier