Patrick Wienhöft

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Markov Decision Process

Infinite Horizon

Top Venues

Softw. Syst. Model.

Publications

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines. Softw. Syst. Model. 23 (2) (2024)
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving the foundations of Statistical Model Checking. CoRR (2024)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM (2023)
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency. AISoLA (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI (2023)
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. SEFM (2021)