Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1806.08810
Cited By
Self-Driving Vehicle Verification Towards a Benchmark
20 June 2018
Nima Roohi
R. Kaur
James Weimer
O. Sokolsky
Insup Lee
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Self-Driving Vehicle Verification Towards a Benchmark"
1 / 1 papers shown
Title
On a Formal Model of Safe and Scalable Self-driving Cars
Shai Shalev-Shwartz
Shaked Shammah
Amnon Shashua
33
736
0
21 Aug 2017
1
