Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
Este artículo presenta un enfoque para la conducción autónoma que equilibra diversos riesgos, como colisiones e infracciones de tráfico, mediante la extensión de métricas de riesgo a especificaciones de lógica temporal lineal (LTL) y su resolución eficiente a través de un problema de programación lineal, validando su eficacia en el simulador Carla.