Open AccessStatistical Model-Checking for Autonomous Vehicle Safety Validation
Author(s) -
Benoît Barbot,
Béatrice Bérard,
Yann Duplouy,
Serge Haddad
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , controller (irrigation) , petri net , position (finance) , focus (optics) , range (aeronautics) , collision , model checking , statistical hypothesis testing , statistical model , simulation , vehicle dynamics , real time computing , algorithm , artificial intelligence , engineering , automotive engineering , mathematics , statistics , physics , computer security , optics , finance , agronomy , economics , biology , aerospace engineering