Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties.

Igor Buzhinsky Valeriy Vyatkin

Published in: IEEE Trans. Ind. Informatics (2017)

Keyphrases

finite state
model checking
temporal properties
markov chain
markov decision processes
finite state transducers
continuous time bayesian networks
machine learning
probabilistic model
knowledge representation
knowledge based systems
formal methods