… Zonotope is a simple class of homothetic polytopes [17]. It is simple to calculate the Minkowski
sum of homothetic polytopes with the same basis [20]. Hence, efforts have been put into …

… Zonotopes allow to maintain linear relationships between program variables V that … the
zonotope domain here for lack of space, but Fig. 6 illustrates the benefits of combining zonotopes …

… faster than the zonotope and polyhedral domain [14]. … the zonotope domain is more precise.
Therefore, we will try to improve the precision of AI-based certification using the zonotope …

… In this work, we use zonotope to compute the bounds for … on the zonotope abstract domain.
We first introduce the formal definition of a zonotope as well as the preliminaries of zonotope …

An innovative feature of this book is its econocentric structure, focusing on digital designs.
From the outset, econocentrism is linked with monetary exchange as the core engine of …

… Considering initial values given as a polytope P, we decompose P as the intersection of s
zonotopes Zi. The reachable tube of the corresponding ODE is therefore described by the …

… systems based on zonotopes [11], which we implement in Python. Briefly, a zonotope is a set
of … The computational efficiency of propagating sets over time using zonotopes relates to the …

For deep neural networks (DNNs) to be used in safety-critical autonomous driving tasks, it is
desirable to monitor in operation time if the input for the DNN is similar to the data used in …

Deep Neural Networks (DNNs) have demonstrated to be powerful machine learning models
for approximating complex functions. In this work, we provide an exact reachability analysis …

The goal of this paper is to study geometric and extremal properties of the convex body B F (
M ) , which is the unit ball of the Lipschitz-free Banach space associated with a finite metric …