Artifact supplement for R. Andriushchenko et. al. 'Inductive Synthesis for Probabilistic Programs Reaches New Horizons', TACAS'21
Description
This artifact includes an implementation of the novel method for synthesis of probabilistic systems proposed in the TACAS 2021 submission #87 (Inductive Synthesis for Probabilistic Programs Reaches New Horizons). The artifact further includes an implementation of state-of-the-art methods for synthesis of probabilistic systems that are used in the experimental part of the paper to evaluate the performance of the proposed methods, and the benchmarks used in the evaluation. The artifact allows users to replicate all the experiments presented in the paper, in particular, the results presented in Tables 1-3. It further suggests additional experiments that allow to explore the discussed methods beyond the presented experiment suit.
Files
synthesis.zip
Files
(239.7 MB)
Name | Size | Download all |
---|---|---|
md5:2665416c2f54335c71065393ae6c25ba
|
239.7 MB | Preview Download |