Login / Signup
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction.
Albert Lin
Somil Bansal
Published in:
CoRR (2023)
Keyphrases
</>
conformal prediction
genetic algorithm
machine learning
ridge regression
neural network
k nearest neighbour
tree ensembles