Yu Wang

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 52

Top Topics

Stochastic Games

Reinforcement Learning

Top Venues

Publications

Zhe Jiang, Yu Wang, Zelin Xu
Foundation Models for Spatiotemporal Tasks in the Physical World. SDM (2024)
Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. CoRR (2024)
Zelin Xu, Tingsong Xiao, Wenchong He, Yu Wang, Zhe Jiang, Shigang Chen, Yiqun Xie, Xiaowei Jia, Da Yan, Yang Zhou
Spatial-Logic-Aware Weakly Supervised Learning for Flood Mapping on Earth Imagery. AAAI (2024)
Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
On the uniqueness of solution for the Bellman equation of LTL objectives. L4DC (2024)
Mark Yen, Geir E. Dullerud, Yu Wang
Statistical Verification of Traffic Systems with Expected Differential Privacy. CoRR (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Mark Yen, Geir E. Dullerud, Yu Wang
Statistical Verification of Traffic Systems with Expected Differential Privacy. ACC (2023)
Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO (2023)
Yu Wang, Qitong Gao, Miroslav Pajic
Learning Monotone Dynamics by Neural Networks. ACC (2022)
Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS (2022)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. ICRA (2021)
Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Model-Free Learning of Safe yet Effective Controllers. CDC (2021)
Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR (2021)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Model-Free Learning of Safe yet Effective Controllers. CoRR (2021)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Model Checking for Hyperproperties. CSF (2021)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic conformance for cyber-physical systems. ICCPS (2021)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. ICRA (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. ATVA (2020)
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
Hyperproperties for Robotics: Planning via HyperLTL. ICRA (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR (2020)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic Conformance for Cyber-Physical Systems. CoRR (2020)
Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
Differential Privacy for Sequential Algorithms. CoRR (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. CoRR (2020)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR (2020)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) (2020)
Yu Wang, Qitong Gao, Miroslav Pajic
Deep Learning for Stable Monotone Dynamical Systems. CoRR (2020)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. CoRR (2020)
Mojtaba Zarei, Yu Wang, Miroslav Pajic
Statistical verification of learning-based cyber-physical systems. HSCC (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) (2019)
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR (2019)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR (2019)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. CoRR (2019)
Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
Attack-Resilient Supervisory Control of Discrete-Event Systems. CoRR (2019)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54 (2) (2019)
Yu Wang, Miroslav Pajic
Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. CDC (2019)
Yu Wang, Miroslav Pajic
Attack-Resilient Supervisory Control with Intermittently Secure Communication. CDC (2019)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Security-Aware Synthesis Using Delayed-Action Games. CoRR (2019)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Model Checking for Probabilistic Hyperproperties. CoRR (2019)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical Verification of PCTL Using Stratified Samples. ADHS (2018)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC (2017)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4 (1) (2017)
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. 62 (5) (2017)
Yu Wang, Matthew T. Hale, Magnus Egerstedt, Geir E. Dullerud
Differentially private objective functions in distributed cloud-based optimization. CDC (2016)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller synthesis for linear dynamical systems with adversaries. HotSoS (2016)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC (2016)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of dynamical systems using set oriented methods. HSCC (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS (2015)
Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan
Stability of linear autonomous systems under regular switching sequences. CDC (2014)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC (2014)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
On the cost of differential privacy in distributed control systems. HiCoNS (2014)