Tighter Construction of Tight Büchi Automata.

Marek Jankola Jan Strejcek

Published in: FoSSaCS (1) (2024)

Keyphrases

lower bound
upper bound
neural network
finite state
cellular automata
worst case
probabilistic automata
databases
machine learning
search engine
case study
data structure
artificial neural networks
np hard
tree automata
finite state automata