Santa Cruz, Ulices, and Yasser Shoukry. (2022). Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing. NASA Formal Methods Symposium, pp. 213-230.
949-824-9127
Santa Cruz, Ulices, and Yasser Shoukry. (2022). Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing. NASA Formal Methods Symposium, pp. 213-230.