Reachability in Pushdown Register Automata.
Andrzej S. MurawskiSteven J. RamsayNikos TzevelekosPublished in: MFCS (1) (2014)
Keyphrases
- finite state
- cellular automata
- finite automata
- model checking
- state space
- transitive closure
- tree automata
- lattice gas
- regular expressions
- timed automata
- relational databases
- finite state machines
- temporal logic
- formal language theory
- finite state automaton
- database
- mobile robot
- dynamic programming
- search algorithm
- data mining
- databases
- real time