TY  - RPRT
TI  - Synthesising Succinct Strategies in Safety Games
AU  - Gilles Geeraerts
AU  - Joël Goossens
AU  - Amélie Stainer
PY  - 2014
UR  - https://arxiv.org/abs/1404.6228
ID  - 1404.6228
ER  -