3 citations · 5 across the 4 of their papers we have counts for
4 papers
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…
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…
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
Zhenqi Huang, Yu Wang, Sayan Mitra +2
We present a controller synthesis algorithm for reach-avoid problems for piecewise linear discrete-time systems. Our algorithm relies on SMT solvers and in this paper we focus on p…
Controller Synthesis for Linear Time-varying Systems with Adversaries
Zhenqi Huang, Yu Wang, Sayan Mitra +1
We present a controller synthesis algorithm for a discrete time reach-avoid problem in the presence of adversaries. Our model of the adversary captures typical malicious attacks en…