S Drews, A Albarghouthi, L D'Antoni - … , CAV 2019, New York City, NY, USA …, 2019 - Springer
We consider the problem of synthesizing a program given a probabilistic specification of its
desired behavior. Specifically, we study the recent paradigm of distribution-guided inductive …