Counterexample-guided inductive synthesis for probabilistic systems

Češka, Milan; Hensel, Hans Christian; Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter

London : Springer (2021)
Fachzeitschriftenartikel

In: Formal aspects of computing
Band: 33
Heft: 4/5
Seite(n)/Artikel-Nr.: 637-667

Einrichtungen

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