Items where Author is "Wienhöft, Patrick"

Journal Article

Meggendorfer, Tobias and Weininger, Maximilian and Wienhöft, Patrick (2025) Solving Robust Markov Decision Processes : Generic, Reliable, Efficient. Proceedings of the AAAI Conference on Artificial Intelligence, 39 (25). pp. 26631-26641. ISSN 2159-5399

Contribution in Book/Report/Proceedings

Budde, Carlos E. and Hartmanns, Arnd and Meggendorfer, Tobias and Weininger, Maximilian and Wienhöft, Patrick (2025) Sound Statistical Model Checking for Probabilities and Expected Rewards. In: Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings :. Lecture Notes in Computer Science . Springer, CAN, pp. 167-190. ISBN 9783031906428