Follow
Patrick Wienhöft
Patrick Wienhöft
CeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
P Wienhöft, M Suilen, TD Simão, C Dubslaff, C Baier, N Jansen
arXiv preprint arXiv:2305.07958, 2023
42023
Strategy synthesis in markov decision processes under limited sampling access
C Baier, C Dubslaff, P Wienhöft, SJ Kiebel
NASA Formal Methods Symposium, 86-103, 2023
22023
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines
C Dubslaff, P Wienhöft, A Fehnker
International Conference on Software Engineering and Formal Methods, 332-350, 2021
22021
Towards a formal account on negative latency
C Dubslaff, J Schulz, P Wienhöft, C Baier, FHP Fitzek, SJ Kiebel, ...
International Conference on Bridging the Gap between AI and Reality, 188-214, 2023
12023
What Are the Odds? Improving the foundations of Statistical Model Checking
T Meggendorfer, M Weininger, P Wienhöft
arXiv preprint arXiv:2404.05424, 2024
2024
Lazy model checking for recursive state machines
C Dubslaff, P Wienhöft, A Fehnker
Software and Systems Modeling, 1-33, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–6