Bayesian statistical model checking with application to Simulink/Stateflow verification (2010)

by P ZULIANI, A PLATZER, E M CLARKE
Venue:See Johansson and Yi