Tianhao Wei
Scholar

Tianhao Wei

Google Scholar ID: V22j1C0AAAAJ
Carnegie Mellon University
RoboticsMachine LearningControl
Google Scholar↗
Citations & Impact
All-time
Citations
614
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
5 items
Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
2025
Cited
0
Bridging the Gap between Hardware Fuzzing and Industrial Verification
2025
Cited
0
Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
2025
Cited
0
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
arXiv.org · 2024
Cited
0
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization
arXiv.org · 2023
Cited
6
Resume (English only)
Co-authors
15 total
Changliu Liu
Changliu Liu
Associate Professor, Carnegie Mellon University
Weiye Zhao
Weiye Zhao
Robotics Institute, Carnegie Mellon University
Rui Chen
Rui Chen
Carnegie Mellon University
Yifan Sun
Yifan Sun
Carnegie Mellon University
Tairan He
Tairan He
Carnegie Mellon University
Guanbin Li (李冠彬)
Guanbin Li (李冠彬)
Professor, School of Computer Science and Engineering, Sun Yat-Sen University, China
Liang Lin
Liang Lin
Fellow of IEEE/IAPR, Professor of Computer Science, Sun Yat-sen University
Yuan Xie
Yuan Xie
Chair Professor of Hong Kong University of Science and Technology (HKUST)