Formal Verification of Object Detection.
Avraham RavivYizhak Y. ElboherMichelle Aluf-MedinaYael Leibovich WeissOmer CohenRoy AssaGuy KatzHillel KuglerPublished in: CoRR (2024)
Keyphrases
- formal verification
- object detection
- model checking
- model checker
- face detection
- automated verification
- computer vision
- bounded model checking
- symbolic model checking
- scene understanding
- object recognition
- artificial intelligence
- object categories
- program slicing
- pedestrian detection
- multi class
- object classification
- deformable part models
- background subtraction