We show that hybrid zonotopes offer an equivalent representation of
feed...
Many real-world systems often involve physical components or operating
e...
We exploit recent results in quantifying the robustness of neural networ...
Abstracting neural networks with constraints they impose on their inputs...
share