Further steps towards efficient runtime verification: handling probabilistic cost models
Stochastic Model Checking