Yrvann Emzivat, Javier Ibanez Guzman, Herve Illy, Philippe Martinet, Olivier H. Roux. A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. In Wei-Bin Zhang, Alexandre M. Bayen, Javier J. Sánchez Medina, Matthew J. Barth, editors, 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. pages 2452-2459, IEEE, 2018. [doi]
Abstract is missing.