From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach.

Manfred Jaeger, Kim G. Larsen, Alessandro Tibo

Browse the full RV paper archive.