"ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics."

Goran Frehse et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics