Counterexample-Driven Synthesis for Probabilistic Program Sketches

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

Cham : Springer (2019)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 101-120

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]