papers
Publications (7)
cs.LG2020
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
Yu Wang, Nima Roohi, Matthew West +2
eess.SY2015
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
Zhenqi Huang, Yu Wang, Sayan Mitra +2
math.OC2020
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
Yu Wang, Nima Roohi, Matthew West +2
eess.SY2023
Convergence of Gradient-based MAML in LQR
Negin Musavi, Geir E. Dullerud
cs.CR2023
Statistical Verification of Traffic Systems with Expected Differential Privacy
Mark Yen, Geir E. Dullerud, Yu Wang
chao-dyn1997
Localized Optimal Control of Spatiotemporal Chaos
Roman O. Grigoriev, Sanjay G. Lall, Geir E. Dullerud
cs.LG2022
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Yu Wang, Hussein Sibai, Mark Yen +2