Strong current-state and initial-state opacity of discrete-event systems.
Xiaoguang HanKuize ZhangJiahui ZhangZhiwu LiZengqiang ChenPublished in: CoRR (2021)
Keyphrases
- initial state
- discrete event systems
- state space
- situation calculus
- action theories
- petri net
- complex systems
- goal state
- optimal policy
- conformant planning
- machine learning
- telecommunication networks
- model based diagnosis
- stationary distribution
- decision problems
- spatial information
- probability distribution
- reinforcement learning