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

On Safety Assurance of Symbolic Artificial Intelligence. - M. Guzman; R. Bouchekir; A. Cook; J. Haindl (QRS Companion, 2024)