Benutzer: Gast  Login
Dokumenttyp:
Konferenzband 
Herausgeber:
Polikarpova, Nadia, Schneider, Steve 
Titel:
Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL 
Kongress / Zusatzinformationen:
Turin, 2017 
Abstract:
Recent accidents involving autonomous vehicles prompt us to consider how we can engineer an autonomous vehicle which always obeys traffic rules. This is particularly challenging because traffic rules are rarely specified at the level of detail an engineer would expect. Hence, it is nearly impossible to formally monitor behaviours of autonomous vehicles-which are expressed in terms of position, velocity, and acceleration-with respect to the traffic rules-which are expressed by vague concepts such...    »
 
Stichworte:
theorem proving, autonomous vehicles, traffic rules, concretisation, linear temporal logic, safe distance 
Jahr:
2017