A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. - Yrvann Emzivat; Javier Ibañez-Guzmán; Herve Illy; Philippe Martinet; Olivier H. Roux (ITSC, 2018)