Login / Signup

High-level Counterexamples for Probabilistic Automata

Ralf WimmerNils JansenAndreas VorpahlErika ÁbrahámJoost-Pieter KatoenBernd 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