Structural Operational Semantics for Continuous State Probabilistic Processes.
Giorgio BacciMarino MiculanPublished in: CMCS (2012)
Keyphrases
- operational semantics
- continuous state
- reinforcement learning
- probabilistic model
- formal semantics
- finite state
- mental states
- robot navigation
- state dependent
- action space
- partially observable markov decision processes
- control policies
- planning problems
- data model
- bayesian networks
- database systems
- partially observable
- stochastic processes
- hidden markov models
- computational complexity