Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.

Rohit Chadha A. Prasad Sistla Mahesh Viswanathan

Published in: FoSSaCS (2017)

Keyphrases

probabilistic automata
finite automata
finite state automata
relative entropy
markov chain
sound theoretical
bayesian networks
regular expressions
log likelihood