Finding Provably Optimal Markov Chains

Spel, Jip Josephine (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter

Cham : Springer International Publishing (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Seite(n)/Artikel-Nr.: 173-190

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]