@misc{indiciaec69c078697c5,
  title = {NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing},
  author = {Ulices Santa Cruz and Yasser Shoukry},
  year = {2022},
  url = {https://arxiv.org/abs/2203.15841},
  note = {Source identifier: 2203.15841}
}