default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYixuan Wang 0001
Person information
- affiliation: Northwestern University, Evanston, IL, USA
Other persons with the same name
- Yixuan Wang — disambiguation page
- Yixuan Wang 0002
![[0000-0003-3079-5572]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-3079-5572")
— Beihang University, School of Automation Science and Electrical Engineering, Beijing, China - Yixuan Wang 0003 — University of Illinois at Urbana-Champaign, IL, USA
- Yixuan Wang 0004 — University of Michigan, Ann Arbor, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j1]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 994-1007 (2024)
Conference and Workshop Papers
- 2024
- [c20]Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li:
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI 2024: 12061-12071 - [c19]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang:
Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. ICML 2024 - [c18]Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu:
State-wise safe reinforcement learning with pixel observations. L4DC 2024: 1187-1201 - [c17]Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu:
Case Study: Runtime Safety Verification of Neural Network Controlled System. RV 2024: 205-217 - 2023
- [c16]Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu:
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023: 1-8 - [c15]Xiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu:
Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. DAC 2023: 1-4 - [c14]Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS 2023: 132-141 - [c13]Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu:
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML 2023: 36593-36604 - [c12]Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu:
Safety-Assured Speculative Planning with Adaptive Prediction. IROS 2023: 9714-9721 - 2022
- [c11]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu:
Design-while-verify: correct-by-construction control learning with verification in the loop. DAC 2022: 925-930 - [c10]Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS 2022: 137-146 - [c9]Shichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu:
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. BuildSys@SenSys 2022: 89-98 - 2021
- [c8]Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu:
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC 2021: 753-760 - [c7]Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu:
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC 2021: 397-402 - [c6]Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu:
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE 2021: 1745-1750 - [c5]Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu:
Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. ICCV 2021: 8897-8906 - [c4]Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu:
Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. BuildSys@SenSys 2021: 1-10 - 2020
- [c3]Yixuan Wang, Chao Huang, Qi Zhu:
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD 2020: 22:1-22:9 - [c2]Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi:
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9 - [c1]Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu:
One for Many: Transfer Learning for Building HVAC Control. BuildSys@SenSys 2020: 230-239
Informal and Other Publications
- 2024
- [i20]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang:
Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. CoRR abs/2402.03141 (2024) - [i19]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang:
Variational Delayed Policy Optimization. CoRR abs/2405.14226 (2024) - [i18]Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu:
Exploring Backdoor Attacks against Large Language Model-based Decision Making. CoRR abs/2405.20774 (2024) - [i17]Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu:
Case Study: Runtime Safety Verification of Neural Network Controlled System. CoRR abs/2408.08592 (2024) - [i16]Simon Sinong Zhan, Qingyuan Wu, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu:
Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. CoRR abs/2410.03847 (2024) - 2023
- [i15]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/2304.01218 (2023) - [i14]Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu:
Safety-Assured Speculative Planning with Adaptive Prediction. CoRR abs/2307.11876 (2023) - [i13]Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu:
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR abs/2309.09317 (2023) - [i12]Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu:
State-wise Safe Reinforcement Learning With Pixel Observations. CoRR abs/2311.02227 (2023) - [i11]Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR abs/2312.00812 (2023) - 2022
- [i10]Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR abs/2201.09140 (2022) - [i9]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR abs/2201.12243 (2022) - [i8]Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu:
A Tool for Neural Network Global Robustness Certification and Training. CoRR abs/2208.07289 (2022) - [i7]Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu:
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR abs/2209.15090 (2022) - 2021
- [i6]Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu:
Weak Adaptation Learning - Addressing Cross-domain Data Insufficiency with Weak Annotator. CoRR abs/2102.07358 (2021) - [i5]Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu:
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR abs/2103.05046 (2021) - [i4]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu:
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR abs/2106.03245 (2021) - [i3]Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu:
Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. CoRR abs/2106.14144 (2021) - 2020
- [i2]Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu:
One for Many: Transfer Learning for Building HVAC Control. CoRR abs/2008.03625 (2020) - [i1]Yixuan Wang, Chao Huang, Qi Zhu:
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR abs/2008.06162 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
