NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing

von Santa Cruz, Ulices
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier

von Khedr, Haitham
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)