NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.

Ulices Santa Cruz Yasser Shoukry

Published in: NFM (2022)

Keyphrases

neural network
formal verification
artificial neural networks
artificial intelligence
cooperative
probabilistic model
main contribution
human computer interaction
orders of magnitude
learning algorithm
augmented reality
specification language
symbolic model checking