“…This issue has been tackled in a number of works on proposed algorithms for polytope size reduction, e.g. (Kwiatkowski and Werner, 2008;Hoffmann et al, 2012;Rizvi et al, 2016;Sanjuan et al, 2022), or on the use of ad-hoc methods for polytope reduction for some specific systems as in (Baldelli et al, 2008;Kapsalis et al, 2022).…”