TY  - RPRT
TI  - Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
AU  - Akash Harapanahalli
AU  - Samuel Coogan
AU  - Alexander Davydov
PY  - 2026
UR  - https://arxiv.org/abs/2603.28011
ID  - 2603.28011
ER  -