Login / Signup
The Hanoi Omega-Automata Format.
Tomás Babiak
Frantisek Blahoudek
Alexandre Duret-Lutz
Joachim Klein
Jan Kretínský
David Müller
David Parker
Jan Strejcek
Published in:
CAV (1) (2015)
Keyphrases
</>
metadata
multimedia
cellular automata
databases
probabilistic automata
finite state
lattice gas
finite state machines
regular expressions
multi agent systems
search algorithm
decision trees
search engine
finite automata
tree automata
finite state automata
real time
database