Login / Signup

Deciding probabilistic automata weak bisimulation: theory and practice.

Luis María Ferrer FioritiVahid HashemiHolger HermannsAndrea Turrini
Published in: Formal Aspects Comput. (2016)
Keyphrases
  • probabilistic automata
  • sound theoretical
  • finite automata
  • markov chain
  • relative entropy
  • support vector machine
  • integrity constraints
  • information theory
  • distance measure
  • regular expressions
  • finite state automata