@PHDTHESIS{duplo2018,
url = "http://www.theses.fr/2018SACLN048",
title = "Applying Formal Methods to Autonomous Vehicle Control",
author = "Duplouy, Yann",
year = "2018",
note = "Thèse de doctorat dirigée par Haddad, Serge Informatique Université Paris-Saclay (ComUE) 2018",
note = "2018SACLN048",
url = "http://www.theses.fr/2018SACLN048/document",
}