Verification of Neural Networks: Enhancing Scalability Through Pruning

von Guidotti, Dario
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain

von Kouvaros, Panagiotis
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)