Login / Signup
Ben Coke
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Map Matching
Neural Network
Fuzzy Logic
Land Vehicle
Top Venues
FoMLAS@CAV
</>
Publications
</>
Matthew L. Daggitt
,
Wen Kokke
,
Ekaterina Komendantskaya
,
Robert Atkey
,
Luca Arnaboldi
,
Natalia Slusarz
,
Marco Casadio
,
Ben Coke
,
Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
(2023)