Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks | IEEE Conference Publication | IEEE Xplore