Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos 0001, José Manuel Rodriguez-Fortun. Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. STTT, 24(6):999-1024, 2022. [doi]
Abstract is missing.