Login / Signup
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report).
Vojtech Havlena
Ondrej Lengál
Barbora Smahlíková
Published in:
CoRR (2021)
Keyphrases
</>
technical report
upper bound
lower bound
finite automata
cellular automata
probabilistic automata
finite state
regular expressions
finite state machines
lattice gas
tree automata
control system
ranking functions
worst case
rank order
finite state automata
feature selection
databases
database