Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
Matthew L. DaggittWen KokkeRobert AtkeyNatalia SlusarzLuca ArnaboldiEkaterina KomendantskayaPublished in: CoRR (2024)
Keyphrases
- intermediate level
- symbolic execution
- neural network
- model checking
- neuro fuzzy
- pedestrian detection
- computer programs
- real time
- artificial neural networks
- vehicle detection
- vector space
- temporal logic
- formal verification
- traffic monitoring
- functional verification
- vehicle speed
- symbolic data
- high level
- computer vision
- data sets