Distributed Finite-State Runtime Monitoring with Aggregated Events.
Kevin FalzonEric BoddenRahul PurandarePublished in: RV (2013)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- distributed systems
- optimal policy
- abnormal events
- monitoring system
- context free
- average cost
- partially observable markov decision processes
- multi agent
- event processing
- tree automata
- policy iteration
- event detection
- text classification
- least squares
- information retrieval
- finite state transducers