949-824-9127

NASA Formal Methods Symposium

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.