Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
Diese Arbeit zeigt auf, dass die formale Verifizierung mittels Bereichsausbreitung effizient die End-zu-Ende-Lenkungsrobustheit über nicht getestete Störungsbedingungen hinweg in automatisierten Fahrzeugen nachweisen kann, was eine praktikable Ergänzung zum traditionellen simulationsbasierten Testen darstellt, indem potenzielle Ausfälle identifiziert werden, ohne dass zusätzliche Fahrkampagnen erforderlich sind.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.