Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published February 6, 2021 | Version 0.12
Software Open

Artifact supplement for R. Andriushchenko et. al. 'Inductive Synthesis for Probabilistic Programs Reaches New Horizons', TACAS'21

  • 1. FIT BUT

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