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:
CoRR (2017)
Keyphrases
</>
finite state automaton
deterministic automata
turing machine
finite automata
deterministic finite automata
cellular automata
regular expressions
finite state machines
finite state automata
black box
randomized algorithms
real time
neural network
information retrieval
model checking
finite state