Decidable and expressive classes of probabilistic automata.

Yue Ben Rohit Chadha A. Prasad Sistla Mahesh Viswanathan

Published in: J. Comput. Syst. Sci. (2019)

Keyphrases

probabilistic automata
finite automata
tight complexity bounds
markov chain
relative entropy
finite state automata
object oriented