Usage statistics

Totals for datasets (co-)authored by Peter Lammich

Datasets

• Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
• Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
• Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Co-authors

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

• Arnd Hartmanns
• Bram Kohlen