Sign in

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

Ulices Santa CruzYasser Shoukry
Published in: CoRR (2022)
Keyphrases
  • neural network
  • formal verification
  • main contribution
  • real time
  • artificial neural networks
  • genetic algorithm
  • probabilistic model
  • belief revision