Pushdown Automata and Constant Height: Decidability and Bounds.
Giovanni PighizziniLuca PrigionieroPublished in: DCFS (2019)
Keyphrases
- automata theoretic
- temporal logic
- lower bound
- upper bound
- description logics
- model checking
- query answering
- upper and lower bounds
- finite state
- constant factor
- probabilistic automata
- cellular automata
- finite automata
- error bounds
- finite state machines
- worst case
- lower and upper bounds
- data sets
- query processing
- average case
- neural network