Optimizing monitoring of finite state properties through monitor compaction.

Rahul Purandare Matthew B. Dwyer Sebastian G. Elbaum

Published in: ISSTA (2013)

Keyphrases

finite state
monitoring system
markov chain
real time
model checking
markov decision processes
optimal policy
average cost
context free
action sets
partially observable markov decision processes
distributed systems
reinforcement learning
health monitoring
continuous monitoring
transition systems
machine learning