On the expressiveness and complexity of randomization in finite state monitors.

Rohit Chadha A. Prasad Sistla Mahesh Viswanathan

Published in: J. ACM (2009)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
decision problems
computational complexity
expressive power
context free
privacy preserving
optimal control
tree automata
machine learning
dynamic programming
vector quantization