@article{correctbyconstructionvisionbasedposeesti,
  title = {Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models},
  author = {Ulices Santa Cruz and Mahmoud Elfar and Yasser Shoukry},
  year = {2026},
  eprint = {2601.17556},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.17556},
}