Datasets
- 4 results
Search results
-
Parameter Synthesis for Markov Models: Prophesy and model files
Junges, S. (Creator), Ábrahám, E. (Creator), Hensel, C. (Creator), Jansen, N. (Creator), Katoen, J.-P. (Creator), Quatmann, T. (Creator) & Volk, M. (Creator), Zenodo, 3 Mar 2023
DOI: 10.5281/zenodo.7697153, https://doi.org/10.5281/zenodo.7697154
Dataset
-
Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs
Batz, K. (Creator), Katoen, J.-P. (Creator), Randone, F. (Creator) & Winkler, T. (Creator), Zenodo, 8 Apr 2025
DOI: 10.5281/zenodo.14930103, https://zenodo.org/records/14930103 and 4 more links, https://zenodo.org/records/14930104, https://doi.org/10.5281/zenodo.14930104, https://zenodo.org/records/15175355, https://doi.org/10.5281/zenodo.15175355 (show fewer)
Dataset
-
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
Hartmanns, A. (Creator), Junges, S. (Creator), Katoen, J.-P. (Creator) & Quatmann, T. (Creator), Zenodo, 15 Jun 2020
DOI: 10.5281/zenodo.3894716, https://zenodo.org/record/3894716 and 4 more links, https://doi.org/10.5281/zenodo.3894717, https://zenodo.org/record/3894717, https://doi.org/10.5281/zenodo.3894735, https://zenodo.org/record/3894735 (show fewer)
Dataset
-
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
Basgöze, D. (Creator), Volk, M. (Creator), Katoen, J.-P. (Creator), Khan, S. (Creator) & Stoelinga, M. (Creator), Zenodo, 28 Mar 2022
DOI: 10.5281/zenodo.5834212, https://zenodo.org/records/5834212 and 4 more links, https://zenodo.org/records/5834213, https://doi.org/10.5281/zenodo.5834213, https://zenodo.org/records/6390998, https://doi.org/10.5281/zenodo.6390998 (show fewer)
Dataset