Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

Eric Bodden Patrick Lam Laurie J. Hendren

Published in: ACM Trans. Program. Lang. Syst. (2012)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
average cost
tree automata
partially observable markov decision processes
completely independent
reinforcement learning
information extraction
temporal logic
policy iteration