TY  - RPRT
TI  - How to Win First-Order Safety Games
AU  - Helmut Seidl
AU  - Christian Müller
AU  - Bernd Finkbeiner
PY  - 2019
UR  - https://arxiv.org/abs/1908.05964
ID  - 1908.05964
ER  -