Login / Signup
Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.
Vojtech Havlena
Ondrej Lengál
Barbora Smahlíková
Published in:
TACAS (2) (2022)
Keyphrases
</>
upper bound
lower bound
finite automata
cellular automata
regular expressions
finite state
probabilistic automata
lattice gas
control system
finite state machines
np hard
worst case
error bounds
rank aggregation
upper and lower bounds
case study
dynamic programming
objective function