Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. - Ian M. Mitchell; Jacob Budzis; Andriy Bolyachevets (HSCC, 2019)

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling. - Ian M. Mitchell; Jacob Budzis; Andriy Bolyachevets (CoRR, 2019)