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

Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng

Browse the full FM paper archive.