TY - RPRT TI - Symbolic Models for Interconnected Impulsive Systems AU - Sadek Belamfedel Alaoui AU - Adnane Saoud AU - Pushpak Jagtap AU - Abdalla Swikir PY - 2023 UR - https://arxiv.org/abs/2312.17006 ID - 2312.17006 ER -