Sign in
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.
Ulices Santa Cruz
Yasser Shoukry
Published in:
CoRR (2022)
Keyphrases
</>
neural network
formal verification
main contribution
real time
artificial neural networks
genetic algorithm
probabilistic model
belief revision