215 citations · 275 across the 30 of their papers we have counts for
3 papers · 1 filter
Context-Aware Temporal Logic for Probabilistic Systems
Mahmoud Elfar, Yu Wang, Miroslav Pajic
In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with…
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…
Statistical Model Checking for Hyperproperties
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour +1
Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical mod…