Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs.

Natalia Kushik Nina Yevtushenko Jorge López

Published in: ICTSS (2023)

Keyphrases

finite state machines
hidden markov models
bayesian networks
data driven
data structure
probabilistic model
generative model
black box
posterior probability
sequential data
uncertain data
data sets
sequential patterns
information theoretic
probabilistic logic
exact and approximate
test sequences
long sequences