Patrick Wienhöft

16 papers A* 2B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version).
CoRR
Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk
2025 A* conf
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
AAAI
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Sound Statistical Model Checking for Probabilities and Expected Rewards.
TACAS (1)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 J jnl
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version).
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality.
QEST+FORMATS
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025 — conf
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.
QEST+FORMATS
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Lazy model checking for recursive state machines.
Softw. Syst. Model.
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
2024 J jnl
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
Sound Statistical Model Checking for Probabilities and Expected Rewards.
CoRR
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024 J jnl
What Are the Odds? Improving the foundations of Statistical Model Checking.
CoRR
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2023 J jnl
More for Less: Safe Policy Improvement With Stronger Performance Guarantees.
CoRR
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
More for Less: Safe Policy Improvement with Stronger Performance Guarantees.
IJCAI
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 — conf
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
NFM
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023 J jnl
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
CoRR
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023 — conf
Towards a Formal Account on Negative Latency.
AISoLA
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
2021 B conf
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.
SEFM
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker