Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
Ce document démontre que la vérification formelle utilisant la propagation de bornes peut prouver efficacement la robustesse de la direction de bout en bout à travers des conditions de perturbation non testées dans les véhicules automatisés, offrant ainsi un complément viable aux tests traditionnels basés sur la simulation en identifiant les défaillances potentielles sans nécessiter de campagnes de conduite supplémentaires.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.