Scenario-based verification of uncertain parametric MDPs

Badings, Thom (Corresponding author); Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk

Heidelberg [u.a.] : Springer (2022)
Fachzeitschriftenartikel

In: International journal on software tools for technology transfer : STTT _
Band: 24
Heft: 5
Seite(n)/Artikel-Nr.: 803-8019

Einrichtungen

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