Formale Verifizierung der Robustheit eines Runway-Objektklassifizierers für sicheres Flugzeug-Rollen
Die Studie zeigt, dass der Runway-Objektklassifizierer deutlich empfindlicher gegenüber Rauschstörungen als gegenüber Helligkeits- oder Kontrastveränderungen ist.