A Sound Abstraction Method Towards Efficient Neural Networks Verification

von Boudardara, Fateh
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Interval Weight-Based Abstraction for Neural Network Verification

von Boudardara, Fateh
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)