TY  - RPRT
TI  - Finite LTL Synthesis is EXPTIME-complete
AU  - Jorge A. Baier
AU  - Alberto Camacho
AU  - Christian Muise
AU  - Sheila A. McIlraith
PY  - 2016
UR  - https://arxiv.org/abs/1609.04371
ID  - 1609.04371
ER  -