Follow
Haitham Khedr
Haitham Khedr
Verified email at uci.edu - Homepage
Title
Cited by
Cited by
Year
Formal verification of neural network controlled autonomous systems
X Sun, H Khedr, Y Shoukry
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
1442019
Peregrinn: Penalized-relaxation greedy neural network verifier
H Khedr, J Ferlez, Y Shoukry
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
262021
Fast BATLLNN: fast box analysis of two-level lattice neural networks
J Ferlez, H Khedr, Y Shoukry
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
122022
Certifair: A framework for certified global fairness of neural networks
H Khedr, Y Shoukry
Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8237-8245, 2023
82023
Bern-nn: Tight bound propagation for neural networks using bernstein polynomial interval arithmetic
W Fatnassi, H Khedr, V Yamamoto, Y Shoukry
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
42023
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions
H Khedr, J Ferlez, Y Shoukry
arXiv preprint arXiv:2006.10864, 2020
42020
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation
H Khedr, Y Shoukry
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21232 …, 2024
12024
Formal Verification of Neural Networks: Algorithms and Applications
H Khedr
UC Irvine, 2023
2023
Formal Verication of Neural Networks
H Khedr
University of California, Irvine, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9