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