TY  - RPRT
TI  - PESTO: Formally Correct Registration of LiDAR Point Clouds with Limited Overlap
AU  - Valen Yamamoto
AU  - Matteo Marchi
AU  - Paulo Tabuada
PY  - 2026
UR  - https://arxiv.org/abs/2609.18082
ID  - 2609.18082
ER  -