NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Ulices Santa Cruz, Yasser Shoukry
Topics & Concepts
Computer scienceRobustness (evolution)LivenessArtificial neural networkArtificial intelligenceController (irrigation)Relation (database)Machine visionRunwayControl engineeringComputer visionData miningTheoretical computer scienceEngineeringChemistryBiochemistryAgronomyArchaeologyBiologyGeneHistoryAdversarial Robustness in Machine LearningCardiac Arrest and Resuscitation