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)