TY  - RPRT
TI  - Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
AU  - Albert Lin
AU  - Somil Bansal
PY  - 2024
UR  - https://arxiv.org/abs/2312.08604
ID  - 2312.08604
ER  -