State Minimization of Pseudo Non-Deterministic FSM's.

Yosinori Watanabe Robert K. Brayton

Published in: EDAC-ETC-EUROASIC (1994)

Keyphrases

finite state machines
state space
objective function
digital libraries
neural network
genetic algorithm
computer vision
reinforcement learning
support vector
probabilistic model
denoising
finite state automaton