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 | 146 | 2019 |
Peregrinn: Penalized-relaxation greedy neural network verifier H Khedr, J Ferlez, Y Shoukry Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 27 | 2021 |
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 | 12 | 2022 |
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 | 10 | 2023 |
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions H Khedr, J Ferlez, Y Shoukry arXiv preprint arXiv:2006.10864, 2020 | 5 | 2020 |
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 | 4 | 2023 |
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 | 1 | 2024 |
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 |