Luca Laurenti

A new approach to safety analysis using piecewise stochastic barrier functions.

A new method approximates neural networks for better uncertainty analysis.

New error bounds improve GPR's reliability in safety-sensitive fields.