High-Level Counterexamples for Probabilistic Automata.

Ralf Wimmer Nils Jansen Andreas Vorpahl Erika Ábrahám Joost-Pieter Katoen Bernd Becker

Published in: QEST (2013)

Keyphrases

probabilistic automata
high level
finite automata
relative entropy
markov chain
finite state automata
regular languages
sound theoretical
probabilistic model
mutual information
information theoretic
log likelihood