DOI,IST REx ID,Research Group,Title of publication
10.29007/rjwn,10877,ToHe,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics