Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification

Piotr Franciszek Orzechowski, Annika Meyer, Martin Lauer

Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex in…