Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University.
Error Control for Probabilistic Model Checking
Statistical probabilistic model checking
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
Statistical Probabilistic Model Checking
Probabilistic Verification for “Black-Box” Systems