Flying is for Droids: A Survey of Research into Generating Certification Evidence for AI/ML Algorithms to Replace Human Pilots | IEEE Conference Publication | IEEE Xplore