Refinement and Difference for Probabilistic Automata

Benoît Delahaye Uli Fahrenberg Kim G. Larsen Axel Legay

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
finite state automata
sound theoretical
database