Parameter Synthesis in Markov Models: A Gentle Survey

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

Cham : Springer (2022)
Buchbeitrag

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.)
Seite(n)/Artikel-Nr.: 407-437

Einrichtungen

• Profilbereich Information & Communication Technology (ICT) [080017]
• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]