Scholar
Sascha Klüppelholz
Google Scholar ID: U95oL2AAAAAJ
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
575
H-index
13
i10-index
20
Publications
20
Co-authors
0
Publications
4 items
Towards Actionable Strategy Certificates in Stochastic Parity Games
2026
Cited
0
Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
2026
Cited
0
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
2025
Cited
0
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
QEST+FORMATS · 2024
Cited
0
