×
Esparza, Javier; Křetínský, Jan; Sickert, Salomon

A unified translation of linear temporal logic to \(\omega\)-automata. (English) Zbl 1499.03017

J. ACM 67, No. 6, Article No. 33, 61 p. (2020).

Cited in 4 Documents

MSC:

03B44 Temporal logic
03D05 Automata and formal grammars in connection with logical questions
68Q45 Formal languages and automata

Keywords:

linear temporal logic; automata over infinite words; deterministic automata; nondeterministic automata

Software:

Rabinizer; Seminator 2; Owl; PRISM; Strix
Cite Review PDF
Full Text: DOI