On the Expressiveness and Complexity of Randomization in Finite State Monitors.

Rohit Chadha A. Prasad Sistla Mahesh Viswanathan

Published in: LICS (2008)

Keyphrases

finite state
markov chain
markov decision processes
model checking
partially observable markov decision processes
action sets
computational complexity
state space
information extraction
optimal policy
image coding
decision problems
context free
finite state transducers
transition systems