TY - RPRT TI - Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling AU - Ian M. Mitchell AU - Jacob Budzis AU - Andriy Bolyachevets PY - 2019 UR - https://arxiv.org/abs/1901.01006 ID - 1901.01006 ER -