Counterexample-Driven Synthesis for Probabilistic Program Sketches

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

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

In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)
Seite(n)/Artikel-Nr.: 101-120