Formal Verification for Safe AI-based Flight Planning for UAVs*. - R. Bouchekir; M. Guzman; A. Cook; J. Haindl; R. Woolnough (DSN-W, 2023)