Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. - Yu Wang 044; Zhenqi Huang; Sayan Mitra 001; Geir E. Dullerud (CDC, 2014)

Stability of linear autonomous systems under regular switching sequences. - Yu Wang 044; Nima Roohi; Geir E. Dullerud; Mahesh Viswanathan 001 (CDC, 2014)

On the cost of differential privacy in distributed control systems. - Zhenqi Huang; Yu Wang 044; Sayan Mitra 001; Geir E. Dullerud (HiCoNS, 2014)

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2015)

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. - Zhenqi Huang; Yu Wang 044; Sayan Mitra 001; Geir E. Dullerud; Swarat Chaudhuri (CDC, 2015)

Statistical verification of dynamical systems using set oriented methods. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (HSCC, 2015)

Controller Synthesis for Linear Time-varying Systems with Adversaries. - Zhenqi Huang; Yu Wang 044; Sayan Mitra 001; Geir E. Dullerud (CoRR, 2015)

Differentially private objective functions in distributed cloud-based optimization. - Yu Wang 044; Matthew T. Hale; Magnus Egerstedt; Geir E. Dullerud (CDC, 2016)

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2016)

Controller synthesis for linear dynamical systems with adversaries. - Zhenqi Huang; Yu Wang 044; Sayan Mitra 001; Geir E. Dullerud (HotSoS, 2016)

Statistical Verification of the Toyota Powertrain Control Verification Benchmark. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (HSCC, 2017)

Stability Analysis of Switched Linear Systems Defined by Regular Languages. - Yu Wang 044; Nima Roohi; Geir E. Dullerud; Mahesh Viswanathan 001 (IEEE Trans. Autom. Control., 2017)

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. - Yu Wang 044; Zhenqi Huang; Sayan Mitra 001; Geir E. Dullerud (IEEE Trans. Control. Netw. Syst., 2017)

Statistical Verification of PCTL Using Stratified Samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2018)

Security-Aware Synthesis Using Delayed-Action Games. - Mahmoud Elfar; Yu Wang 044; Miroslav Pajic (CAV (1), 2019)

Attack-Resilient Supervisory Control with Intermittently Secure Communication. - Yu Wang 044; Miroslav Pajic (CDC, 2019)

Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. - Yu Wang 044; Miroslav Pajic (CDC, 2019)

Statistical Model Checking for Probabilistic Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Attack-Resilient Supervisory Control of Discrete-Event Systems. - Yu Wang 044; Alper Kamil Bozkurt; Miroslav Pajic (CoRR, 2019)

Statistical Verification of Hyperproperties for Cyber-Physical System. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Hyperproperties for Robotics: Motion Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (CoRR, 2019)

Statistical verification of PCTL using antithetic and stratified samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (Formal Methods Syst. Des., 2019)

Statistical Verification of Hyperproperties for Cyber-Physical Systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ACM Trans. Embed. Comput. Syst., 2019)

Context-Aware Temporal Logic for Probabilistic Systems. - Mahmoud Elfar; Yu Wang 044; Miroslav Pajic (ATVA, 2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (CAV (2), 2020)

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2020)

Statistical verification of learning-based cyber-physical systems. - Mojtaba Zarei; Yu Wang 044; Miroslav Pajic (HSCC, 2020)

Hyperproperties for Robotics: Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (ICRA, 2020)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (ICRA, 2020)

Differential Privacy for Sequential Algorithms. - Yu Wang 044; Hussein Sibai; Sayan Mitra 001; Geir E. Dullerud (CoRR, 2020)

Deep Learning for Stable Monotone Dynamical Systems. - Yu Wang 044; Qitong Gao; Miroslav Pajic (CoRR, 2020)

Model-Free Learning of Safe yet Effective Controllers. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (CDC, 2021)

Statistical Model Checking for Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CSF, 2021)

Probabilistic conformance for cyber-physical systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ICCPS, 2021)

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (ICRA, 2021)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (ICRA, 2021)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (CoRR, 2021)

Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. - Yu Wang 044; Alper Kamil Bozkurt; Miroslav Pajic (CoRR, 2021)

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ACM Trans. Embed. Comput. Syst., 2021)

Learning Monotone Dynamics by Neural Networks. - Yu Wang 044; Qitong Gao; Miroslav Pajic (ACC, 2022)

Learning-Based Vulnerability Analysis of Cyber-Physical Systems. - Amir Khazraei; Spencer Hallyburton; Qitong Gao; Yu Wang 044; Miroslav Pajic (ICCPS, 2022)

Statistical Verification of Traffic Systems with Expected Differential Privacy. - Mark Yen; Geir E. Dullerud; Yu Wang 044 (ACC, 2023)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery. - Zelin Xu 001; Tingsong Xiao; Wenchong He; Yu Wang 044; Zhe Jiang 001 (SIGSPATIAL/GIS, 2023)

Rigorous Evaluation of Computer Processors with Statistical Model Checking. - Filip Mazurek; Arya Tschand; Yu Wang 044; Miroslav Pajic; Daniel J. Sorin (MICRO, 2023)

Spatial-Logic-Aware Weakly Supervised Learning for Flood Mapping on Earth Imagery. - Zelin Xu 001; Tingsong Xiao; Wenchong He; Yu Wang 044; Zhe Jiang 001; Shigang Chen; Yiqun Xie; Xiaowei Jia; Da Yan 001; Yang Zhou 001 (AAAI, 2024)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward. - Zetong Xuan; Yu Wang 044 (CDC, 2024)

On the uniqueness of solution for the Bellman equation of LTL objectives. - Zetong Xuan; Alper Kamil Bozkurt; Miroslav Pajic; Yu Wang 044 (L4DC, 2024)

Foundation Models for Spatiotemporal Tasks in the Physical World. - Zhe Jiang 001; Yu Wang 044; Zelin Xu 001 (SDM, 2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (IEEE Trans. Autom. Control., 2024)

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives. - Zetong Xuan; Yu Wang 044 (IEEE Control. Syst. Lett., 2025)

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking. - Weihang Li; Pete Crowley; Arya Tschand; Yu Wang 044; Miroslav Pajic; Daniel J. Sorin (CoRR, 2025)