Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
Este artigo apresenta uma abordagem para a condução autônoma que equilibra diversos riscos, como colisões e violações de regras, ao estender métricas de risco para cenários complexos definidos por Lógica Temporal Linear e reformular o problema de síntese de controle como um problema de alcançabilidade resolvido via programação linear.