Login / Signup

Cost Preserving Bisimulations for Probabilistic Automata.

Andrea TurriniHolger Hermanns
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases
  • probabilistic automata
  • finite automata
  • markov chain
  • relative entropy
  • sound theoretical
  • data points
  • maximum likelihood
  • model checking