TY  - RPRT
TI  - NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
AU  - Ulices Santa Cruz
AU  - Yasser Shoukry
PY  - 2022
UR  - https://arxiv.org/abs/2203.15841
ID  - 2203.15841
ER  -