most citedBERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2026

PESTO: Formally Correct Registration of LiDAR Point Clouds with Limited Overlap

Valen Yamamoto, Matteo Marchi, Paulo Tabuada

In this paper we tackle the problem of aligning LiDAR point clouds also known as the point cloud registration problem. We propose a new algorithm, PESTO, that exploits tetrahedra a…