The Vehicle Tutorial: Neural Network Verification with Vehicle.
Matthew L. DaggittWen KokkeEkaterina KomendantskayaRobert AtkeyLuca ArnaboldiNatalia SlusarzMarco CasadioBen CokeJeonghyeon LeePublished in: FoMLAS@CAV (2023)
Keyphrases
- neural network
- pedestrian detection
- real time
- vehicle speed
- vehicle detection
- pattern recognition
- artificial neural networks
- model checking
- traffic monitoring
- driver assistance systems
- land vehicle
- dangerous situations
- autonomous driving
- intelligent vehicles
- map matching
- neural nets
- road network
- fuzzy logic
- data sets