Current-State Opacity Formulations in Probabilistic Finite Automata.

Anooshiravan Saboori Christoforos N. Hadjicostis

Published in: IEEE Trans. Autom. Control. (2014)

Keyphrases

finite automata
probabilistic automata
probability function
state space
regular expressions
grammatical inference
probabilistic model
finite automaton
deterministic automata
high level
relational databases
hidden markov models
information extraction
information theoretic
tree automata