Yu Wang - RankMe

67 papers A* 6A 2B 2C 2Journal 32Unranked 23

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