Out of Control : Reducing Probabilistic Models by Control-State Elimination

Winkler, Tobias (Corresponding author); Lehmann, Johannes; Katoen, Joost-Pieter

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies
Seite(n)/Artikel-Nr.: 450-472

Einrichtungen

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