Login / Signup

Exact calculation of synchronizing sequences based on binary decision diagrams.

Carl PixleySeh-Woong JeongGary 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