Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems. (arXiv:2004.00275v2 [cs.LG] UPDATED)

Statistical model checking is a class of sequential algorithms that can
verify specifications of interest on an ensemble of cyber-physical systems
(e.g., whether 99% of cars from a batch meet a requirement on their energy
efficiency). These algorithms infer the probability that given specifications
are satisfied by the systems with provable statistical guarantees by drawing
sufficient numbers of independent and identically distributed samples. During
the process of statistical model checking, the values of the samples (e.g., a
user's car energy …

algorithms arxiv cyber lg statistical systems verification