Runtime Performance Verification of Assured Contingency Landing Management for Advanced Air Mobility. - Joseph Kim; Prashin Sharma; Jeremy D. Castagno; Natasha Neogi; Ella M. Atkins (J. Aerosp. Inf. Syst., 2026)