TY  - RPRT
TI  - Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
AU  - Andreas Morgenstern
AU  - Klaus Schneider
PY  - 2010
DO  - 10.4204/eptcs.25.11
UR  - https://arxiv.org/abs/1006.1408
ID  - 1006.1408
ER  -