Papers
10
Total Citations
73
H-Index
4
About
No biography available yet.
Research Focus
Computer science10 · 73 citations
Artificial intelligence7 · 65 citations
Mathematics7 · 53 citations
Algorithm5 · 43 citations
Process (computing)2 · 41 citations
Noise (video)2 · 41 citations
Nonlinear system2 · 41 citations
Polynomial4 · 41 citations
Reachability4 · 41 citations
Action (physics)2 · 36 citations
Projection (relational algebra)2 · 36 citations
Benchmark (surveying)2 · 36 citations
Key Achievements
4
H-Index
10
Papers
73
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
34 citations · 2023
📈 Most Prolific Year: 2022 (3 Papers)
🤝 Key Collaborators: 26
🏛 Institutions: Stony Brook University, United States Air Force Research Laboratory, EP Analytics (United States)
Top Papers
- 1
- 2The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS11 citations · 2022
- 3Conformant Synthesis for Koopman Operator Linearized Control Systems7 citations · 2022
- 4
- 5
- 6Safe CPS from unsafe controllers3 citations · 2021
- 7On the Difficulty of Intersection Checking with Polynomial Zonotopes3 citations · 2023
- 8Sparse Intersection Checking for Sparse Polynomial Zonotopes2 citations · 2025
- 9
- 10
Key Collaborators
NKNiklas Kochdumper3 shared papersSAScott A. Smolka3 shared papersUMUsama Mehmood3 shared papersSDScott D. Stoller3 shared papersMAMatthias Althoff2 shared papersELErtai Luo2 shared papersYSYifan Sun2 shared papersSSSanaz Sheikhi2 shared papersHKHanna Krasowski2 shared papersYHYushen Huang2 shared papersASAndrew Sogokon1 shared papersCFChuchu Fan1 shared papersSBSergiy Bogomolov1 shared papersMVMahesh Viswanathan1 shared papersWXWeiming Xiang1 shared papersKLKerianne L. Hobbs1 shared papersMPMatthew Potok1 shared papersHTHoang-Dung Tran1 shared papersBQBolun Qi1 shared papersSMSayan Mitra1 shared papers
Not generated yet