Sound Statistical Model Checking for Probabilities and Expected Rewards (experimental reproduction package)
Dataset: Code
Persons and affiliations
- Carlos E. Budde - , Technical University of Denmark (Creator)
- Arnd Hartmanns - , University of Twente (Creator)
- Tobias Meggendorfer - , Chair of Algebraic and Logical Foundations of Computer Science, Lancaster University Leipzig (Creator)
- Maximilian Weininger - , Institute of Science and Technology Austria (Creator)
- Patrick Wienhöft - , Clusters of Excellence CeTI: Centre for Tactile Internet, Chair of Algebraic and Logical Foundations of Computer Science (Creator)