Stefan Schupp, Johanna Nellen, Erika Ábrahám
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
QAPL, 2017.
@inproceedings{QAPL-2017-SchuppNA,
author = "Stefan Schupp and Johanna Nellen and Erika Ábrahám",
booktitle = "{QAPL@ETAPS}",
doi = "10.4204/EPTCS.250.1",
ee = "http://arxiv.org/abs/1707.04851",
pages = "1--14",
title = "{Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis}",
year = 2017,
}