CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines.

Sezer Gören F. Joel Ferguson

Published in: DATE (2002)

Keyphrases

finite state machines
model checking
finite state automata
state transition
databases
high level
objective function
data analysis
state space
domain specific
simulated annealing
data management
regular expressions
cellular automaton