Sign in
High-level Counterexamples for Probabilistic Automata
Ralf Wimmer
Nils Jansen
Andreas Vorpahl
Erika Ábrahám
Joost-Pieter Katoen
Bernd Becker
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
probabilistic automata
high level
finite automata
markov chain
relative entropy
regular languages
finite state automata
sound theoretical
pairwise
conceptual model
grammatical inference
data model