Duo Zhang, Shi Gong Long. A theoretic approach to translation of linear temporal logic into an automaton. In 10th International Conference on Natural Computation, ICNC 2014, Xiamen, China, August 19-21, 2014. pages 1111-1115, IEEE, 2014. [doi]
Abstract is missing.