The paper combines DeepG pixel bounds with CROWN bound propagation to compute outer approximations of reachable sets for vision-based controllers under entity-specific geometric perturbations.
The marabou framework for verification and analysis of deep neural networks,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.RO 1years
2025 1verdicts
REJECT 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Verification of Visual Controllers via Compositional Geometric Transformations
The paper combines DeepG pixel bounds with CROWN bound propagation to compute outer approximations of reachable sets for vision-based controllers under entity-specific geometric perturbations.