Certified 3D pose estimation from camera images using reachability analysis and formal NN verification delivers formal bounds for safety-critical localization.
In: Proceedings of the 37th International Technical Meeting of the Satellite Division of The Institute of Navigation (2024)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CV 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
Certified 3D pose estimation from camera images using reachability analysis and formal NN verification delivers formal bounds for safety-critical localization.