@misc{indiciae7f3ea2c999e4,
  title = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis},
  author = {Stefan Schupp and Johanna Nellen and Erika Ábrahám},
  year = {2017},
  doi = {10.4204/eptcs.250.1},
  url = {https://arxiv.org/abs/1707.04851},
  note = {Source identifier: 1707.04851}
}