Removing nondeterminism in constant height pushdown automata.

Zuzana Bednárová Viliam Geffert Carlo Mereghetti Beatrice Palano

Published in: Inf. Comput. (2014)

Keyphrases

finite state
cellular automata
model checking
probabilistic automata
finite automata
situation calculus
lattice gas
real time
artificial intelligence
computer vision
case study
hidden markov models
htn planning
timed automata