Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification

von Vidot, Guillaume
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution

von Damour, Mathieu
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)