Papers
16
Total Citations
637
H-Index
10
About
No biography available yet.
Research Focus
Computer science15 · 633 citations
Artificial intelligence12 · 577 citations
Robot12 · 559 citations
Machine learning10 · 546 citations
Robotics6 · 478 citations
Algorithm4 · 443 citations
Engineering8 · 340 citations
Mathematics7 · 329 citations
Stability (learning theory)5 · 296 citations
Nonlinear system5 · 288 citations
Control engineering4 · 280 citations
Theoretical computer science5 · 269 citations
Key Achievements
10
H-Index
16
Papers
637
Total Citations
40
Avg Citations/Paper
🏆 Most Cited Paper
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
212 citations · 2023
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 28
🏛 Institutions: University of California San Diego, Carnegie Mellon University, IIT@MIT, Universidad Católica Santo Domingo, UC San Diego Health System
Top Papers
- 1
- 2dReach: δ-Reachability Analysis for Hybrid Systems205 citations · 2015
- 3Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics34 citations · 2021
- 4Delta-Complete Analysis for Bounded Reachability of Hybrid Systems34 citations · 2014
- 5Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions27 citations · 2021
- 6
- 7
- 8
- 9Interpolants in Nonlinear Theories Over the Reals17 citations · 2016
- 10Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance13 citations · 2023
Key Collaborators
CFChuchu Fan5 shared papersCYChenning Yu4 shared papersEMEdmund M. Clarke3 shared papersCDCharles Dawson3 shared papersSKSoonho Kong3 shared papersYCYa-Chien Chang2 shared papersHIHenrik I. Christensen2 shared papersCHC Hirayama2 shared papersWCWei Chen2 shared papersHYHongzhan Yu2 shared papersDUDevesh Upadhyay1 shared papersJCJingkai Chen1 shared papersQVQuan Vuong1 shared papersSHSylvia Herbert1 shared papersMNM-Mahdi Naddaf-Sh1 shared papersMYMingxin Yu1 shared papersZQZengyi Qin1 shared papersHSHao Su1 shared papersSFSeth Farrell1 shared papersSVSharad Vikram1 shared papers
Not generated yet