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)