Verification and enforcement of current-state opacity based on a state space approach.
Yingrui ZhouZengqiang ChenZhongxin LiuPublished in: Eur. J. Control (2023)
Keyphrases
- state space
- state variables
- markov decision processes
- heuristic search
- markov chain
- state transition
- reinforcement learning
- dynamic programming
- optimal policy
- access control
- initial state
- partially observable
- reinforcement learning algorithms
- action space
- real time
- domain independent
- model checking
- objective function