Bayesian statistical model checking with application to stateflow/simulink verification (0)

by P Zuliani, A Platzer, E M Clarke
Venue:Formal Methods in System Design