Patrick Wienhöft

PhD student, Department of Computer Science, Technische Universität Dresden

Joined

June 2024

Names

Patrick Wienhöft (Preferred)

Emails

****@tu-dresden.de (Confirmed)

Personal Links

DBLP

ORCID

Career & Education History

PhD student

Department of Computer Science, Technische Universität Dresden (tu-dresden.de)

2020 – Present

Advisors, Relations & Conflicts

PhD Advisor

Christel Baier

2020 – 2025

Expertise

No areas of expertise listed

Publications

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
- AAAI 2025
- Readers: Everyone
Lazy model checking for recursive state machines
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
- Softw. Syst. Model. 2024
- Readers: Everyone
Sound Statistical Model Checking for Probabilities and Expected Rewards
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
- CoRR 2024
- Readers: Everyone
What Are the Odds? Improving the foundations of Statistical Model Checking
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
- CoRR 2024
- Readers: Everyone
Towards a Formal Account on Negative Latency
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
- AISoLA 2023
- Readers: Everyone
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
- CoRR 2023
- Readers: Everyone
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
- NFM 2023
- Readers: Everyone
More for Less: Safe Policy Improvement with Stronger Performance Guarantees
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
- Published: 01 Jan 2023, Last Modified: 19 Sept 2023
- IJCAI 2023
- Readers: Everyone

View all 11 publications