fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver.

Konstantin Chukharev Daniil Chivilikhin

Published in: IEEE Access (2022)

Keyphrases

finite state
sat solvers
finite state transducers
markov chain
model checking
markov decision processes
dynamic bayesian networks
probabilistic model
continuous time bayesian networks
data structure
information retrieval systems