TY  - RPRT
TI  - Computer aided synthesis: a game theoretic approach
AU  - Véronique Bruyère
PY  - 2017
UR  - https://arxiv.org/abs/1706.00652
ID  - 1706.00652
ER  -