Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection.
Dario GuidottiLaura PandolfoLuca PulinaPublished in: IEA/AIE (2024)
Keyphrases
- formal verification
- vehicle detection
- neural network
- model checking
- high resolution satellite imagery
- hypothesis verification
- detection algorithm
- automated verification
- moving vehicle detection
- bounded model checking
- moving vehicles
- model checker
- intelligent vehicles
- surveillance videos
- driver assistance systems
- symbolic model checking
- temporal logic
- post processing
- dynamic programming