Statistical Verification of Hyperproperties for Cyber-Physical System

Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour +1

Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabil…