Verification and Control of Partially Observable Probabilistic Real-Time Systems.
Gethin NormanDavid ParkerXueyi ZouPublished in: CoRR (2015)
Keyphrases
- real time systems
- partially observable
- real time embedded
- reinforcement learning
- state space
- markov decision processes
- real time
- decision problems
- infinite horizon
- dynamical systems
- distributed systems
- partial observations
- partial observability
- embedded systems
- belief state
- model checking
- generative model
- optimal control
- control system
- decision makers
- markov decision problems
- partially observable domains
- reward function
- control strategy
- process model