@misc{indiciaefae135d4f536,
  title = {An Automaton Learning Approach to Solving Safety Games over Infinite Graphs},
  author = {Daniel Neider and Ufuk Topcu},
  year = {2016},
  url = {https://arxiv.org/abs/1601.01660},
  note = {Source identifier: 1601.01660}
}