Login / Signup
Exact and heuristic algorithms for the minimization of incompletely specified state machines.
Gary D. Hachtel
June-Kyung Rho
Fabio Somenzi
Reily M. Jacoby
Published in:
EURO-DAC (1991)
Keyphrases
</>
state machines
state machine
petri net
recurrent networks
fault tolerant
sequence diagrams
objective function
reactive systems
knowledge base
case study
recurrent neural networks