usage stats
Totals for datasets (co-)authored by Arnd Hartmanns
1038
downloads
4471
views
3
cites
Arnd Hartmanns
Datasets
- A Modest Markov Automata Tutorial (Artifact)
- A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)
- Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
- Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)
