TY - RPRT TI - Symbolic Models for a Class of Impulsive Systems AU - Abdalla Swikir AU - Antoine Girard AU - Majid Zamani PY - 2020 UR - https://arxiv.org/abs/2005.08409 ID - 2005.08409 ER -