@misc{indiciaec0e7c852b5de,
  title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers},
  author = {Gunther Reissig and Alexander Weber and Matthias Rungger},
  year = {2017},
  doi = {10.1109/tac.2016.2593947},
  url = {https://arxiv.org/abs/1503.03715},
  note = {Source identifier: 1503.03715}
}