Implicit state minimization of non-deterministic FSMs.

Timothy Kam Tiziano Villa Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: ICCD (1995)

Keyphrases

finite state machines
objective function
data mining
image processing
image sequences
relational databases
state space
knowledge base
three dimensional
database systems
evolutionary algorithm
level set
state variables