TY  - RPRT
TI  - CTL* synthesis via LTL synthesis
AU  - Roderick Bloem
AU  - Sven Schewe
AU  - Ayrat Khalimov
PY  - 2017
DO  - 10.4204/eptcs.260.4
UR  - https://arxiv.org/abs/1711.10636
ID  - 1711.10636
ER  -