Verification and Control of Partially Observable Probabilistic Real-Time Systems.
Gethin NormanDavid ParkerXueyi ZouPublished in: FORMATS (2015)
Keyphrases
- real time systems
- partially observable
- real time embedded
- reinforcement learning
- decision problems
- real time
- partial observability
- markov decision processes
- partial observations
- embedded systems
- dynamical systems
- distributed systems
- state space
- partially observable environments
- infinite horizon
- control system
- belief state
- action models
- markov decision problems
- model checking
- low cost
- partially observable domains
- optimal control
- generative model
- domain specific
- probabilistic model
- bayesian networks
- web services