Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Quilbeuf , Jean; Barbier , Mathieu; Rummelhard , Lukas; Laugier , Christian; Legay , Axel; Baudouin , Blanche; Genevois , Thomas; Ibañez-Guzmán , Javier; Simonin , Olivier

Journal title: https://hal.inria.fr/hal-01888556

Journal number: 1

Journal publisher: HAL INRIA

Published year: 2018