Layered Reduction for Abstract Probabilistic Automata.

Arpit Sharma Joost-Pieter Katoen

Published in: ACSD (2014)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
finite state automata
sound theoretical
database
pairwise
pattern matching
feature selection
regular expressions