State Space Reduction for Verifying Noninterference.
Conghua ZhouLi ChenShiguang JuZhifeng LiuPublished in: SSIRI (2009)
Keyphrases
- state space
- reinforcement learning
- heuristic search
- markov decision processes
- dynamic programming
- orders of magnitude
- markov chain
- state variables
- optimal policy
- dynamical systems
- continuous time markov process
- reinforcement learning algorithms
- particle filter
- security policies
- action space
- databases
- reward function
- reduction method
- stochastic domains
- feature selection