Statistical Verification of Hyperproperties for Cyber-Physical System.

Yu Wang Mojtaba Zarei Borzoo Bonakdarpour Miroslav Pajic

Published in: CoRR (2019)

Keyphrases

cyber physical systems
statistical methods
statistical analysis
cyber security
artificial intelligence
low cost