Selected publications at LSV

@phdthesis{duplouy-phd2018,
   author = {Duplouy, Yann},
   month = nov,
   school = {{\'E}cole Normale Sup{\'e}rieure Paris-Saclay, France},
   type = {Th{\`e}se de doctorat},
   title = {{Applying Formal Methods to Autonomous Vehicle Control}},
   url = {http://www.lsv.fr/~duplouy/defence/},
   year = {2018},
}

About LSV

Select by Year