Refinement and Difference for Probabilistic Automata.

Benoît Delahaye Uli Fahrenberg Kim Guldstrand Larsen Axel Legay

Published in: QEST (2013)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
model checking
grammatical inference
database
active learning