4
Publications
363
Citations
4
H-Index
2019
Active since
Affiliations
University of California, Irvine(Current)
Haitham Khedr is an author at University of California, Irvine specializing in computer science, engineering, and verification.
Top concepts
EngineeringComputer ScienceVerificationMachine LearningRoboticsData ScienceDeep LearningRobot ControlField RoboticsFormal Methods
Publications per year
2019–2024
4
4
SAM 2: Segment Anything in Images and Videos
Nikhila Ravi, Valentin Gabeur, Yuan-Ting Hu et al. · arXiv (Cornell University) · 2024 · 205 citations · Full text
Formal verification of neural network controlled autonomous systems
Xiaowu Sun, Haitham Khedr, Yasser Shoukry · 2019 · 133 citations · Full text
Rows per page
1–4 of 4