TY - RPRT TI - Characterizing simulation relations through control architectures in abstraction-based control AU - Julien Calbert AU - Antoine Girard AU - Raphaƫl M. Jungers PY - 2026 UR - https://arxiv.org/abs/2410.06083 ID - 2410.06083 ER -