Sign in
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
Published in:
FM (2021)
Keyphrases
</>
formal analysis
formal methods
management system
domain specific
computer systems
complex systems
neural network
artificial intelligence
case study
distributed systems
domain independent
specific domains
query language
open source
building blocks
black box