| Sound statistical model checking for probabilities and expected rewards CE Budde, A Hartmanns, T Meggendorfer, M Weininger, P Wienhöft International Conference on Tools and Algorithms for the Construction and …, 2025 | 16 | 2025 |
| What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes T Meggendorfer, M Weininger, P Wienhöft International Conference on Quantitative Evaluation of Systems and Formal …, 2025 | 15* | 2025 |
| 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 | 14 | 2023 |
| Solving robust Markov decision processes: Generic, reliable, efficient T Meggendorfer, M Weininger, P Wienhöft Proceedings of the AAAI Conference on Artificial Intelligence 39 (25), 26631 …, 2025 | 11 | 2025 |
| 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 | 7 | 2023 |
| Statistical model checking beyond means: Quantiles, CVaR, and the DKW inequality CE Budde, A Hartmanns, T Meggendorfer, M Weininger, P Wienhöft International Conference on Quantitative Evaluation of Systems and Formal …, 2025 | 6* | 2025 |
| 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 | 4 | 2021 |
| 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 | 3 | 2023 |
| Lazy model checking for recursive state machines C Dubslaff, P Wienhöft, A Fehnker Software and Systems Modeling 23 (2), 369-401, 2024 | 2 | 2024 |
| Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) PR D'Argenio, A Hartmanns, P Wienhöft, M van Wijk arXiv preprint arXiv:2511.13460, 2025 | | 2025 |
| Statistical Model Checking with Robust Markov Decision Processes P Wienhöft | | 2025 |
| Sound statistical model checking for probabilities and expected rewards (experimental reproduction package) C Budde, A Hartmanns, T Meggendorfer, M Weininger, P Wienhöft | | 2025 |
Maximilian WeiningerRuhr University BochumVerified email at rub.de
