A unified translation of linear temporal logic to \(\omega\)-automata. (English) Zbl 1499.03017
MSC:
03B44 | Temporal logic |
03D05 | Automata and formal grammars in connection with logical questions |
68Q45 | Formal languages and automata |
03B44 | Temporal logic |
03D05 | Automata and formal grammars in connection with logical questions |
68Q45 | Formal languages and automata |