Benchmarks for Temporal Logic Requirements for Automotive Systems
Bayesian statistical model checking with application to Simulink/Stateflow verification