TY  - RPRT
TI  - Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
AU  - Stefan Schupp
AU  - Johanna Nellen
AU  - Erika Ábrahám
PY  - 2017
DO  - 10.4204/eptcs.250.1
UR  - https://arxiv.org/abs/1707.04851
ID  - 1707.04851
ER  -