Scholar
Tim Quatmann
Google Scholar ID: dGE3WGYAAAAJ
RWTH Aachen University
Artificial Intelligence
Formal Methods
Model Checking
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,182
H-index
16
i10-index
20
Publications
20
Co-authors
0
Publications
7 items
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026
Cited
0
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026
Cited
0
Probabilistic Model Checking Taken by Storm
2026
Cited
0
Compositional Reasoning for Parametric Probabilistic Automata
2025
Cited
0
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025
Cited
0
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025
Cited
0
