Counterexample-Driven Synthesis for Probabilistic Program Sketches

World Congress on Formal Methods (FM), 2019

28 April 2019

Papers citing "Counterexample-Driven Synthesis for Probabilistic Program Sketches"

2 / 2 papers shown

Title
ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading Griffin Dietz Smith Siddhartha Prasad Matt J. Davidson Leah Findlater R. Benjamin Shapiro 157 12 0 06 May 2024
Inductive Synthesis for Probabilistic Programs Reaches New HorizonsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2021 Roman Andriushchenko Milan Ceska Sebastian Junges J. Katoen 66 18 0 29 Jan 2021