“…Most work falls into the open-loop verification category, which seeks to analyze the ML component on its own. For analyzing deep neural networks, most works focus on checking some form of input-output reachability [10,[26][27][28][29][30]. In addition, work has gone into estimating the Lipschitz constants of deep neural networks [31].…”