Using Coarse State Space Abstractions to Detect Mutex Pairs.
Mehdi SadeqiRobert C. HolteSandra ZillesPublished in: SARA (2013)
Keyphrases
- state space
- heuristic search
- reinforcement learning
- detection algorithm
- multiresolution
- dynamical systems
- state variables
- pairwise
- high level
- coarse to fine
- automatic detection
- particle filter
- markov chain
- reinforcement learning algorithms
- dynamic programming
- search space
- detection method
- optimal policy
- orders of magnitude
- mutual exclusion
- markov decision processes
- database
- markov decision process
- heuristic function
- continuous time markov process
- planning problems
- intrusion detection
- data structure
- learning algorithm
- information retrieval
- machine learning
- data sets