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

Figure 3

Distribution of relative error of CESVA during 20 iterations.