DOI,IST REx ID,Research Group,Title of publication
10.29007/7dt2,8572,ToHe,ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics