_id,doi,title 8572,10.29007/7dt2,ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics