_id,doi,title
10877,10.29007/rjwn,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
10883,10.29007/5z5k,Quasipolynomial set-based symbolic algorithms for parity games