Skip to content Skip to footer

Research Portal of the TU Dresden

What are the Odds? Improving Statistical Model Checking of Markov Decision Processes

Dataset: Code

Persons and affiliations

Patrick Wienhöft - , Clusters of Excellence CeTI: Centre for Tactile Internet, Chair of Algebraic and Logical Foundations of Computer Science (Creator)