Patrick Wienhöft
Scholar

Patrick Wienhöft

Google Scholar ID: Lw0OhWkAAAAJ
CeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden
temporal logicmodel checkingreinforcement learninghabitual learning
Google Scholar↗
Citations & Impact
All-time
Citations
59
 
H-index
5
 
i10-index
3
 
Publications
12
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
4 items
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
2025
Cited
0
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
2025
Cited
0
Sound Statistical Model Checking for Probabilities and Expected Rewards
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
Cited
5
What Are the Odds? Improving the foundations of Statistical Model Checking
arXiv.org · 2024
Cited
3
Resume (English only)
Co-authors
14 total
Maximilian Weininger
Maximilian Weininger
Ruhr University Bochum
Tobias Meggendorfer
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Clemens Dubslaff
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Arnd Hartmanns
Arnd Hartmanns
University of Twente
Carlos E. Budde
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
Christel Baier
Christel Baier
TU Dresden
Co-author 7
Co-author 7
Nils Jansen
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum