TY - RPRT TI - Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models AU - Ulices Santa Cruz AU - Mahmoud Elfar AU - Yasser Shoukry PY - 2026 UR - https://arxiv.org/abs/2601.17556 ID - 2601.17556 ER -