Login / Signup
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.
Yong Li
Sven Schewe
Moshe Y. Vardi
Published in:
Theor. Comput. Sci. (2024)
Keyphrases
</>
cellular automata
finite automata
probabilistic automata
regular expressions
lattice gas
finite state machines
information gain
real time
tree automata
artificial intelligence
finite state
timed automata
expert systems
lower bound
multiscale
finite state automata
neural network