Login / Signup

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction.

Albert LinSomil Bansal
Published in: CoRR (2023)
Keyphrases
  • conformal prediction
  • genetic algorithm
  • machine learning
  • ridge regression
  • neural network
  • k nearest neighbour
  • tree ensembles