The Quest for Minimal Quotients for Probabilistic Automata.

Christian Eisentraut Holger Hermanns Johann Schuster Andrea Turrini Lijun Zhang

Published in: TACAS (2013)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
object oriented
relational databases
covariance matrix