Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths.

Rahul Purandare Matthew B. Dwyer Sebastian G. Elbaum

Published in: RV (2011)

Keyphrases

finite state
algorithmic approaches
markov chain
markov decision processes
model checking
optimal policy
average cost
game tree search
policy iteration
transition systems
action sets
continuous time bayesian networks
state space
tree automata
finite state transducers
continuous time markov process