Approche formelle pour générer et réduire des cas d'usage sécuritaires de véhicules autonomes.

par Matthieu Carre (Carré)

Thèse de doctorat en Informatique

Sous la direction de Ernesto Exposito garcia.

Thèses en préparation à Pau , dans le cadre de École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) , en partenariat avec Laboratoire d'informatique de l'UPPA (LIUPPA) (laboratoire) et de RENAULT FRANCE SAS (Entreprise) depuis le 31-01-2017 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.