Symbolic Diagnosis of Partially Observable Concurrent Systems.
Thomas ChatainClaude JardPublished in: FORTE (2004)
Keyphrases
- partially observable
- concurrent systems
- reinforcement learning
- dynamical systems
- markov decision processes
- state space
- decision problems
- distributed systems
- partial observability
- temporal logic
- petri net
- partial observations
- formal specification
- model checking
- belief state
- infinite horizon
- markov decision problems
- partially observable domains
- belief space
- action models
- reward function
- partially observable environments
- hidden state
- multi agent
- decision making
- machine learning