Sign in
Verification of detectability in Probabilistic Finite Automata.
Christoforos Keroglou
Christoforos N. Hadjicostis
Published in:
Autom. (2017)
Keyphrases
</>
finite automata
probability function
regular expressions
probabilistic automata
grammatical inference
deterministic automata
probabilistic model
tree automata
regular languages
image quality
hidden markov models
model checking
bayesian networks
finite automaton
database systems