Login / Signup
Exact and heuristic algorithms for the minimization of incompletely specified state machines.
June-Kyung Rho
Gary D. Hachtel
Fabio Somenzi
Reily M. Jacoby
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
</>
state machines
state machine
petri net
recurrent networks
objective function
sequence diagrams
real time
neural network
image features
reactive systems