Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
From MaRDI portal
Publication:6516882
zbMatharXiv:2401.05280MaRDI QIDQ6516882
Mathieu Tanneau, Haydn Jones, Pascal Van Hentenryck, Hassan Hijazi, Juston Moore, Haoruo Zhao
Publication date: 1 January 1
This page was built for publication: Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
