Avaliação de Segurança de Carros Autônomos usando Técnicas de Verificação

Um requisito comum para carros autônomos é uma locomoção segura, que é avaliada pelo método de verificação híbrida aplicada online. A abordagem verifica a evitação de obstáculos estáticos e participantes dinâmicos do tráfego, que são descritos por dados imprecisos sobre suas posições e velocidades. A dinâmica não linear do carro autônomo e de outros participantes do tráfego é conservadoramente abstraída para cadeias de Markov, o que permite o cálculo eficiente de suas futuras posições probabilisticamente. O resultado é a probabilidade de uma colisão para um determinado horizonte de tempo, mostrando se uma estratégia de controle dada pode levar a situações inseguras.