Scholar

Tim Quatmann

Google Scholar ID: dGE3WGYAAAAJ

RWTH Aachen University

Artificial IntelligenceFormal MethodsModel Checking

Google Scholar↗

Citations & Impact

All-time

Citations

1,182

H-index

16

i10-index

20

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)