… The present paper focuses on the representation of domains by zonotopes, a particular
class of polytopes. More precisely, a zonotope is the image of a (unit) hypercube by a linear …

… zonotope center (to which a zonotope is centrally symmetric) and the g (i) ∈ Rn are called
generators. The order of a zonotope … Figure 7 illustrates a zonotope being constructed step-by-…

… Beyond memory savings, with offset zonotopes we can consider ways to reduce the
zonotope’s overapproximation error when adding constraints to \(\theta \). The proposed …

… It is worthwhile to note that the best algorithm for the evaluation of a zonotope in H-…
hyperplanes, our method for the generation of the zonotope in H-representation is linear in the output …

… , the center of zonotopes should be bounded and the size of zonotopes should be minimized.
… characterize the size of zonotopes. Note that the zonotope Xk shares the same size withZe …

… cell is a zonotope. Zonotopes are defined as projections of cubes; all of their faces (of any
dimension) are centrally symmetric. All lattices up to dimension three have a zonotope as their …

… In this work, we build on the classic Zonotope numerical abstract domain, which we discuss
below. This domain was already shown to be a suitable basis for analyzing neural networks …

… on zonotopes consult for example [15, 17]. Our next theorem gives a sharp Blichfeldt-type
inequality for lattice zonotopes … 1.4 clearly also holds for these zonotopes, we will show that we …

… in the smallest zonotope as possible. This is realized easily by a zonotope defined by the …
Although the corresponding blue zonotope Z2 is strictly included in the red zonotope Z1, so …

… properties of a highly structured zonotope—the White Whale [4]—… This zonotope appears
in a number of contexts as for … case of the primitive zonotopes, a family of zonotopes originally …