DOI,IST REx ID,Research Group,Title of publication
10.29007/m75b,7576,ToHe,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics