Measuring Nondeterminism in Pushdown Automata.

Jonathan Goldstine Hing Leung Detlef Wotschke

Published in: STACS (1997)

Keyphrases

model checking
temporal logic
cellular automata
finite state
situation calculus
finite state machines
automata theoretic
lattice gas
finite automata
regular expressions
finite state automata
planning domains
data model
tree automata
htn planning
sensing actions
database systems
clustering algorithm