Structural operational semantics for continuous state stochastic transition systems.
Giorgio BacciMarino MiculanPublished in: J. Comput. Syst. Sci. (2015)
Keyphrases
- continuous state
- operational semantics
- transition systems
- finite state
- control policies
- model checking
- state dependent
- markov chain
- formal semantics
- partially observable markov decision processes
- markov decision processes
- temporal logic
- mental states
- reinforcement learning
- optimal policy
- data model
- stochastic processes
- planning problems
- policy iteration
- action space
- decision problems
- probability distribution
- steady state