… strained zonotopes. The specification is written in the modal μ-calculus containing many
classical temporal logics such as Linear Temporal Logic and Computation Tree Logic. …

… of a zonotope and a half-space generally is not a zonotope. One advantage of a zonotope
compared with a star set is that we can compute quickly the ranges of a state in a zonotope …

This work introduces a new specification and verification approach for dynamic systems. The
introduced approach is able to provide type II error free results by definition, ie there are no …

The stability problem plays an important role not only in industry but also in our everyday life.
Unstable systems are dangerous and can cause financial losses or can lead to injuries and …

We address the problems of constructing the Voronoi diagram (VD) and Delaunay triangulation
(DT) of points in the plane with mutually dependent location uncertainties, testing their …

… Several templates are studied in this thesis including the classical templates polyhedra,
zonotopes and ellipsoids but also more elaborate ones that provide a richer family of sets but …

… Generalized permutahedra form a family of polytopes that include permutahedra,
associahedra and graph zonotopes. This family has been studied, for instance, in [24], and we …

… zonotope … zonotope are dual to each other, and that their codimension is the number of
connected components of D. For instance, the graphical arrangements and graphical zonotopes …

… Besides parallelotopes or zonotopes, ellipsoids are commonly used as a compromise
between a compact description and flexibility [6], [13]. However, this leads to a strong …

… A thorough evaluation that shows the practical usability and hardness of the problem ś
we adapted a number of existing verifiers (Zonotope [14], DeepZono [39], ExactLine [42]) but …