Login / Signup

A Compositional Trace-Based Semantics for Probabilistic Automata.

Roberto Segala
Published in: CONCUR (1995)
Keyphrases
  • probabilistic automata
  • finite automata
  • markov chain
  • relative entropy
  • sound theoretical
  • database
  • semantic information
  • finite state automata
  • face recognition
  • data model
  • mutual information
  • information theoretic