Specification of the AI based perception module for autonomous trains

von Sassi, Insaf
Veröffentlicht in SmartRaCon Scientific Seminar (5. : 2023 : Berlin) Proceedings of the 5th SmartRaCon Scientific Seminar (2023)

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)