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