Supporting Formal Methods for Machine Learning Verification in Urban Air Mobility | IEEE Conference Publication | IEEE Xplore