Login / Signup
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
Javier Esparza
Jan Kretínský
Jean-François Raskin
Salomon Sickert
Published in:
TACAS (1) (2017)
Keyphrases
</>
finite state automaton
turing machine
deterministic automata
cellular automata
finite automata
deterministic finite automata
probabilistic automata
information retrieval
finite state machines
tree automata
database
machine learning
domain specific
temporal logic
finite state
automata theoretic