Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VERIFAI

von Fremont, Daniel J.
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (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)