Analyzing neighborhoods of falsifying traces in cyber-physical systems
Bayesian statistical model checking with application to Simulink/Stateflow verification