Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
Este artigo demonstra que a verificação formal usando propagação de limites pode provar eficientemente a robustez de direção ponta a ponta através de condições de perturbação não testadas em veículos automatizados, oferecendo um complemento viável aos testes tradicionais baseados em simulação ao identificar potenciais falhas sem exigir campanhas de condução adicionais.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.