Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 3.


Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhilu, Xu, Shichao, Wang, Zhaoran and Zhu, Qi
(2021) Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. In: 2021 58th ACM/IEEE Design Automation Conference (DAC), 2021-12-5 - 2021-12-9, San Francisco.


Wang, Yixuan, Huang, Chao ORCID: 0000-0002-9300-1787, Wang, Zhaoran, Wang, Zhilu and Zhu, Qi
(2022) Design-while-Verify: Correct-by-Construction Control Learning with Verification in the Loop. In: DAC '22: 59th ACM/IEEE Design Automation Conference.


Wang, Yixuan, Zhan, Simon Sinong, Jiao, Ruochen, Wang, Zhilu, Jin, Wanxin, Yang, Zhuoran, Wang, Zhaoran, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023) Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. In: International Conference on Machine Learning, 2023-7-23 - 2023-7-29, Hawaii, US.

This list was generated on Sun Sep 17 11:42:29 2023 BST.