| Safety-Aware Apprenticeship Learning W Zhou, W Li International Conference on Computer Aided Verification 2018, 662--680, 2018 | 39 | 2018 |
| Runtime-safety-guided policy repair W Zhou, R Gao, BG Kim, E Kang, W Li Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 8 | 2020 |
| Programmatic reward design by example W Zhou, W Li Proceedings of the AAAI Conference on Artificial Intelligence 36 (8), 9233-9241, 2022 | 7 | 2022 |
| Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems Y Wang, W Zhou, J Fan, Z Wang, J Li, X Chen, C Huang, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 6 | 2023 |
| Reglo: Provable neural network repair for global robustness properties F Fu, Z Wang, W Zhou, Y Wang, J Fan, C Huang, Q Zhu, X Chen, W Li Proceedings of the AAAI Conference on Artificial Intelligence 38 (11), 12061 …, 2024 | 5 | 2024 |
| A sub-10nm U-shape FinFET design with suppressed leakage current and DIBL effect WC Zhou, PF Wang, DW Zhang 2015 China Semiconductor Technology International Conference, 1-3, 2015 | 4 | 2015 |
| Evaluation of buffer organizations for network-on-chip M Jing, P Ren, W Zhou, Z Yu, X Zeng 2012 IEEE 11th International Conference on Solid-State and Integrated …, 0 | 4* | |
| A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines W Zhou, W Li 39th International Conference on Machine Learning 162, 27159--27178, 2022 | 3 | 2022 |
| Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles X Chen, J Fan, C Huang, R Jiao, W Li, X Liu, Y Wang, Z Wang, W Zhou, ... Machine Learning and Optimization Techniques for Automotive Cyber-Physical …, 2023 | 1 | 2023 |
| Investigation of spin-on-dopant for fabricating high on-current tunneling field effect transistor WC Zhou, X Lin, XY Liu, XM Xu, CM Zhang, JS Shi, PF Wang, DW Zhang 2014 12th IEEE International Conference on Solid-State and Integrated …, 2014 | 1 | 2014 |
| Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning Z Guo, W Zhou, W Li arXiv preprint arXiv:2402.17217, 2024 | | 2024 |
| Universal Trojan Signatures in Reinforcement Learning M Acharya, W Zhou, A Roy, X Lin, W Li, S Jha NeurIPS 2023 Workshop on Backdoors in Deep Learning-The Good, the Bad, and …, 2023 | | 2023 |
| Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems Q Zhu, W Li, C Huang, X Chen, W Zhou, Y Wang, J Li, F Fu 2023 59th Annual Allerton Conference on Communication, Control, and …, 2023 | | 2023 |
| PAGAR: Taming Reward Misalignment in Inverse Reinforcement Learning-Based Imitation Learning with Protagonist Antagonist Guided Adversarial Reward W Zhou, W Li arXiv preprint arXiv:2306.01731, 2023 | | 2023 |
| Jiameng Fan F Fu, Z Wang, YWJ Fan, C Huang, X Chen, Q Zhu, W Li, J Fan, R Jiao, ... University of California, Berkeley 2015, 2015 | | 2015 |
