Scholar

Sascha Klüppelholz

Google Scholar ID: U95oL2AAAAAJ

Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden

Google Scholar↗

Citations & Impact

All-time

Citations

575

H-index

13

i10-index

20

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)