Decidable and Expressive Classes of Probabilistic Automata.

Rohit Chadha A. Prasad Sistla Mahesh Viswanathan Yue Ben

Published in: FoSSaCS (2015)

Keyphrases

probabilistic automata
finite automata
markov chain
tight complexity bounds
relative entropy
relational databases
finite state automata
database
learning algorithm
nearest neighbor
matching algorithm
sound theoretical