@misc{indiciae5322dc11cbfe,
  title = {Optimized State Space Grids for Abstractions},
  author = {Alexander Weber and Matthias Rungger and Gunther Reissig},
  year = {2017},
  doi = {10.1109/tac.2016.2642794},
  url = {https://arxiv.org/abs/1711.01637},
  note = {Source identifier: 1711.01637}
}