TY - RPRT TI - Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems AU - Rudi Coppola AU - Yannik Schnitzer AU - Mirco Giacobbe AU - Alessandro Abate AU - Manuel Mazo Jr PY - 2025 UR - https://arxiv.org/abs/2509.17739 ID - 2509.17739 ER -