5 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Lukas Bulwahn, Maryam Kamali, Sven Linker
These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the Internationa…