2 papers
cs.CR2023
Statistical Verification of Traffic Systems with Expected Differential Privacy
Mark Yen, Geir E. Dullerud, Yu Wang
Traffic systems are multi-agent cyber-physical systems whose performance is closely related to human welfare. They work in open environments and are subject to uncertainties from v…
cs.LG2020
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Yu Wang, Hussein Sibai, Mark Yen +2
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…