Login / Signup
Exact calculation of synchronizing sequences based on binary decision diagrams.
Carl Pixley
Seh-Woong Jeong
Gary D. Hachtel
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
</>
binary decision diagrams
symbolic model checking
boolean functions
hidden markov models
planning problems
databases
database
knowledge compilation
data sets
machine learning
database systems
model checking