Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
Dit artikel toont aan dat formele verificatie met behulp van grenspropagatie efficiënt de end-to-end stuurrobuustheid over ongeteste verstoringscondities in autonome voertuigen kan bewijzen, wat een levensvatbaar complement biedt aan traditioneel simulatiegebaseerd testen door potentiële defecten te identificeren zonder dat daarvoor aanvullende rijcampagnes nodig zijn.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.