On Probabilistic Automata in Continuous Time.

Christian Eisentraut Holger Hermanns Lijun Zhang

Published in: LICS (2010)

Keyphrases

probabilistic automata
markov chain
finite automata
relative entropy
state space
finite state automata
sound theoretical
bayesian networks
feature space
object oriented
pattern matching