Yixuan Wang
Orcid: 0000-0003-0847-8570Affiliations:
- Northwestern University, Evanston, IL, USA
According to our database1,
Yixuan Wang
authored at least 27 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024
CoRR, 2024
2023
CoRR, 2023
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling.
CoRR, 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
CoRR, 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
Proceedings of the International Conference on Machine Learning, 2023
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023
2022
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
CoRR, 2022
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances.
Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Design-while-verify: correct-by-construction control learning with verification in the loop.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control.
CoRR, 2021
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
CoRR, 2021
Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
2020
Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020