@misc{indiciae2b3dfdb6e54d,
  title = {SAT-Based Synthesis Methods for Safety Specs},
  author = {Roderick Bloem and Robert Koenighofer and Martina Seidl},
  year = {2013},
  url = {https://arxiv.org/abs/1311.3530},
  note = {Source identifier: 1311.3530}
}