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

<div>Distribution of estimated values of CESVA during 20 iterations.</div>

Security and Communication Networks

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