Compositional Abstraction Techniques for Probabilistic Automata.

Falak Sher Joost-Pieter Katoen

Published in: IFIP TCS (2012)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
high level
sound theoretical
database systems
similarity measure
pairwise
loss function
covariance matrix
information theory
regular expressions
log likelihood
grammatical inference