Login / Signup

Function Block Finite-State Model Identification Using SAT and CSP Solvers.

Daniil ChivilikhinVladimir UlyantsevAnatoly ShalytoValeriy Vyatkin
Published in: IEEE Trans. Ind. Informatics (2019)
Keyphrases
  • finite state
  • probabilistic model
  • markov chain
  • model checking
  • machine learning
  • probability distribution
  • constraint satisfaction