noDice: Inference for Probabilistic Programs with Nondeterminism and Conditioning - Artifact
This is the artifact for the probabilistic programming language noDice. Contained are the source code and benchmarks needed to reproduce the experiments from the corresponding paper, as well as a description of the artifact. README.md file inside "nodice artefact.zip".
Institutions
- Saarland University (DE)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-02-23
- DOI
- https://doi.org/10.5281/zenodo.15754167
- Primary Topic
- Patient Satisfaction in Healthcare
- Type
- article
- Field-Weighted Citation Impact
- 0.00