_id,doi,title
8570,10.29007/bj1w,ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
7576,10.29007/m75b,ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
