Stuttering for Abstract Probabilistic Automata.

Benoît Delahaye Kim G. Larsen Axel Legay

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
finite state automata
database
state space
query processing
learning theory