Usage statistics

Totals for datasets (co-)authored by 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"
• Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
• Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)

Co-authors

Co-authors of Arnd Hartmanns's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Bram Kohlen
• Maximilian Schäffeler
• Mohammad Abdulaziz
• Peter Lammich