Verification of neural reachable tubes via scenario optimization and conformal prediction.

Albert Lin Somil Bansal

Published in: L4DC (2024)

Keyphrases

conformal prediction
confidence levels
neural network
k nearest neighbour
tree ensembles
data sets
feature extraction
support vector