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