Abstract : Self-driving vehicles are here and they already cause accidents. Now, should road safety be considered in a trial and error perspective or should it be addressed in a formal way? The latter option is at the heart of our research.
https://hal.inria.fr/hal-01499572
Contributor : Thierry Fraichard
<>
Submitted on : Friday, March 31, 2017 - 4:17:08 PM
Last modification on : Friday, October 25, 2019 - 1:29:05 AM
Long-term archiving on: Saturday, July 1, 2017 - 3:43:27 PM
