| Flow guided recurrent neural encoder for video salient object detection G Li, Y Xie, T Wei, K Wang, L Lin Proceedings of the IEEE conference on computer vision and pattern …, 2018 | 188 | 2018 |
| Safe control algorithms using energy functions: A uni ed framework, benchmark, and new directions T Wei, C Liu 2019 IEEE 58th Conference on Decision and Control (CDC), 238-243, 2019 | 53 | 2019 |
| State-wise safe reinforcement learning: A survey W Zhao, T He, R Chen, T Wei, C Liu arXiv preprint arXiv:2302.03122, 2023 | 29 | 2023 |
| Safe control with neural network dynamic models T Wei, C Liu Learning for Dynamics and Control Conference, 739-750, 2022 | 29 | 2022 |
| Agen: Adaptable generative prediction networks for autonomous driving W Si, T Wei, C Liu 2019 IEEE intelligent vehicles symposium (IV), 281-286, 2019 | 27 | 2019 |
| Safety index synthesis via sum-of-squares programming W Zhao, T He, T Wei, S Liu, C Liu 2023 American Control Conference (ACC), 732-737, 2023 | 21 | 2023 |
| Persistently feasible robust safe control by safety index synthesis and convex semi-infinite programming T Wei, S Kang, W Zhao, C Liu IEEE Control Systems Letters 7, 1213-1218, 2022 | 17 | 2022 |
| Guard: A safe reinforcement learning benchmark W Zhao, R Chen, Y Sun, R Liu, T Wei, C Liu arXiv preprint arXiv:2305.13681, 2023 | 8 | 2023 |
| How local information improves rendezvous in cognitive radio networks Y Fu, Y Wang, Z Gu, X Zheng, T Wei, Z Cao, H Cui, FCM Lau 2018 15th annual IEEE international conference on sensing, communication …, 2018 | 8 | 2018 |
| State-wise constrained policy optimization W Zhao, R Chen, Y Sun, T Wei, C Liu arXiv preprint arXiv:2306.12594, 2023 | 6 | 2023 |
| Characterizing neural network verification for systems with NN4SYSBench H He, T Wei, H Zhang, C Liu, C Tan Workshop on Formal Verification of Machine Learning, 2022 | 4 | 2022 |
| Online verification of deep neural networks under domain or weight shift T Wei, C Liu CoRR, abs/2106.12732, 2021 | 4 | 2021 |
| Adler: a resilient, high-performance and energy-efficient UAV-enabled sensor system D Li, Y Wang, Z Gu, T Shen, T Wei, Y Fu, H Cui, M Song, FCM Lau KU CS, Hong Kong, Tech. Rep. TR-2018-01, 2018 | 3 | 2018 |
| Zero-shot transferable and persistently feasible safe control for high dimensional systems by consistent abstraction T Wei, S Kang, R Liu, C Liu 2023 62nd IEEE Conference on Decision and Control (CDC), 8614-8619, 2023 | 2 | 2023 |
| Learn with imagination: Safe set guided state-wise constrained policy optimization W Zhao, Y Sun, F Li, R Chen, T Wei, C Liu arXiv preprint arXiv:2308.13140, 2023 | 2 | 2023 |
| ModelVerification. jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks T Wei, L Marzari, KS Yun, H Hu, P Niu, X Luo, C Liu arXiv preprint arXiv:2407.01639, 2024 | 1 | 2024 |
| Absolute Policy Optimization W Zhao, F Li, Y Sun, R Chen, T Wei, C Liu arXiv preprint arXiv:2310.13230, 2023 | 1 | 2023 |
| Robust Safe Control with Multi-Modal Uncertainty T Wei, L Ma, R Pandya, C Liu arXiv preprint arXiv:2309.16830, 2023 | 1 | 2023 |
| Building Verified Neural Networks for Computer Systems with Ouroboros T Wei, Z Jia, C Liu, C Tan Proceedings of Machine Learning and Systems 5, 2023 | 1 | 2023 |
| Online Verification of Deep Neural Networks under Domain Shift or Network Updates T Wei, C Liu arXiv preprint arXiv:2106.12732, 2021 | 1 | 2021 |
Changliu LiuAssistant Professor, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
