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"
• Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration 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
• Maximilian Schäffeler
• Mohammad Abdulaziz