@misc{indiciae907ea7deea3e,
  title = {Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models},
  author = {Ulices Santa Cruz and Mahmoud Elfar and Yasser Shoukry},
  year = {2026},
  url = {https://arxiv.org/abs/2601.17556},
  note = {Source identifier: 2601.17556}
}