TY  - RPRT
TI  - Mode-Target Games: Reactive Synthesis for Control Applications
AU  - Ayca Balkan
AU  - Moshe Vardi
AU  - Paulo Tabuada
PY  - 2016
UR  - https://arxiv.org/abs/1504.07702
ID  - 1504.07702
ER  -