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

2 papers

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…

cs.LG2022★ 2 cited

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

Wael Fatnassi, Haitham Khedr, Valen Yamamoto +1

In this paper, we present BERN-NN as an efficient tool to perform bound propagation of Neural Networks (NNs). Bound propagation is a critical step in wide range of NN model checker…