Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification

Figure 1

Convergence of parameters during 20 iterations.