Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
Este artículo demuestra que la verificación formal mediante la propagación de límites puede probar eficientemente la robustez de la dirección extremo a extremo ante condiciones de perturbación no probadas en vehículos automatizados, ofreciendo un complemento viable para las pruebas tradicionales basadas en simulación al identificar fallos potenciales sin requerir campañas de conducción adicionales.
Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.