Lazy group sifting for efficient symbolic state traversal of FSMs.

Hiroyuki Higuchi Fabio Somenzi

Published in: ICCAD (1999)

Keyphrases

finite state machines
data structure
state space
database
databases
real world
data mining
reinforcement learning
data streams
artificial neural networks
hidden markov models
cost effective
computationally expensive