Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks

Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson +2

Functional decomposition is a powerful tool for systems analysis because it can reduce a function of arbitrary input dimensions to the sum and superposition of functions of a singl…