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