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

Konstantin Chukharev Daniil Chivilikhin

Published in: CoRR (2019)

Keyphrases

finite state
markov chain
finite state transducers
model checking
markov decision processes
continuous time bayesian networks
probabilistic model
bayesian inference
dynamic bayesian networks
data mining
random fields
markov chain monte carlo
structured prediction