Login / Signup
Index Appearance Record for Transforming Rabin Automata into Parity Automata.
Jan Kretínský
Tobias Meggendorfer
Clara Waldmann
Maximilian Weininger
Published in:
TACAS (1) (2017)
Keyphrases
</>
cellular automata
probabilistic automata
finite automata
finite state machines
lattice gas
regular expressions
finite state
database
multi dimensional
markov chain
tree automata
finite state automata
mobile robot
indexing techniques
appearance cues