TY  - RPRT
TI  - An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
AU  - Daniel Neider
AU  - Ufuk Topcu
PY  - 2016
UR  - https://arxiv.org/abs/1601.01660
ID  - 1601.01660
ER  -