Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University.
Probabilistic Verification of Discrete Event Systems
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
Statistical Probabilistic Model Checking
Probabilistic Verification for “Black-Box” Systems