Multi-cost Bounded Tradeoff Analysis in MDP

Hartmanns, Arnd (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim

Dordrecht [u.a.] : Springer Science + Business Media B.V. (2020)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: Journal of automated reasoning
Band: 64
Heft: 7
Seite(n)/Artikel-Nr.: 1483-1522

Einrichtungen

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