Certified Robust Invariant Polytope Training in Neural Controlled ODEs

2 August 2024

Papers citing "Certified Robust Invariant Polytope Training in Neural Controlled ODEs"

3 / 3 papers shown

Title
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 211 0 0 22 Jan 2025
On the Forward Invariance of Neural ODEs Wei Xiao Tsun-Hsuan Wang Ramin Hasani Mathias Lechner Yutong Ban Chuang Gan Daniela Rus 42 11 0 10 Oct 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022