Seguir
Tianhao Wei
Tianhao Wei
Dirección de correo verificada de andrew.cmu.edu
Título
Citado por
Citado por
Año
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
1962018
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
592019
State-wise safe reinforcement learning: A survey
W Zhao, T He, R Chen, T Wei, C Liu
Thirty-Second International Joint Conference on Artificial Intelligence …, 2023
462023
Safe control with neural network dynamic models
T Wei, C Liu
Learning for Dynamics and Control Conference, 739-750, 2022
342022
Agen: Adaptable generative prediction networks for autonomous driving
W Si, T Wei, C Liu
2019 IEEE intelligent vehicles symposium (IV), 281-286, 2019
302019
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
262023
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
232022
Guard: A safe reinforcement learning benchmark
W Zhao, Y Sun, F Li, R Chen, R Liu, T Wei, C Liu
arXiv preprint arXiv:2305.13681, 2023
112023
State-wise constrained policy optimization
W Zhao, R Chen, Y Sun, T Wei, C Liu
Transactions on Machine Learning Research, 2023
92023
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
82018
Online Verification of Deep Neural Networks under Domain Shift or Network Updates
T Wei, C Liu
arXiv preprint arXiv:2106.12732, 2021
6*2021
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
42023
Learn with imagination: Safe set guided state-wise constrained policy optimization
F Li, Y Sun, W Zhao, R Chen, T Wei, C Liu
arXiv preprint arXiv:2308.13140, 2023
42023
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
42023
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
42022
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
32024
Robust Safe Control with Multi-Modal Uncertainty
T Wei, L Ma, R Pandya, C Liu
arXiv preprint arXiv:2309.16830, 2023
32023
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
32018
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
W Zhao, F Li, Y Sun, R Chen, T Wei, C Liu
Forty-first International Conference on Machine Learning, 0
3*
Verification of neural control barrier functions with symbolic derivative bounds propagation
H Hu, Y Yang, T Wei, C Liu
arXiv preprint arXiv:2410.16281, 2024
22024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20