Reproduction package for dissertation "Statistical Model Checking via Robust Markov Decision Processes"
Dataset: Code
Persons and affiliations
- Patrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
Related content
- Research output
Statistical Model Checking with Robust Markov Decision Processes
Wienhöft, P., 4 Nov 2025, 213 p.Research output: Types of thesis › Doctoral thesis