Login / Signup
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.
Javier Esparza
Jan Kretínský
Jean-François Raskin
Salomon Sickert
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
finite state automaton
turing machine
deterministic automata
linear temporal logic
cellular automata
finite automata
deterministic finite automata
optimal solution
dynamic programming
domain specific
sufficient conditions
temporal logic
regular expressions
error correction
finite state