Counterexample-Driven Synthesis for Probabilistic Program Sketches

Cham / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira (eds.)
Page(s): 101-120

Authors

Authors

Češka, Milan
Hensel, Christian
Junges, Sebastian
Katoen, Joost-Pieter

Identifier