Items where Author is "Wienhöft, Patrick"

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

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