@misc{indiciaea5557e8769b0,
  title = {Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications},
  author = {Roderick Bloem and Uwe Egly and Patrick Klampfl and Robert Könighofer and Florian Lonsing and Martina Seidl},
  year = {2016},
  url = {https://arxiv.org/abs/1604.06204},
  note = {Source identifier: 1604.06204}
}