Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification

MaRDI QIDQ6516882arXivFDO

Authors Haoruo Zhao, Hassan Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

Published in arXiv

Has companion code repository https://github.com/coin-or/Gravity

This page was built for publication: Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6516882)