A theoretic approach to translation of linear temporal logic into an automaton.

Duo Zhang, Shi Gong Long

Browse the full ICNC paper archive.