Haitham Khedr
Papers
2
Total Citations
139
H-Index
2
About
No biography available yet.
Research Focus
Artificial neural network2 · 139 citations
Computer science2 · 139 citations
Algorithm2 · 139 citations
Artificial intelligence2 · 139 citations
Abstraction1 · 137 citations
Affine transformation1 · 137 citations
Mathematics1 · 137 citations
Reachability1 · 137 citations
Robot1 · 137 citations
Satisfiability1 · 137 citations
State space1 · 137 citations
Trajectory1 · 137 citations
Key Achievements
2
H-Index
2
Papers
139
Total Citations
70
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of neural network controlled autonomous systems
137 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Maryland, College Park
Top Papers
- 1Formal verification of neural network controlled autonomous systems137 citations · 2019
- 2
Key Collaborators
Not generated yet