Stochastic Transition Systems for Continuous State Spaces and Non-determinism.
Stefano CattaniRoberto SegalaMarta Z. KwiatkowskaGethin NormanPublished in: FoSSaCS (2005)
Keyphrases
- continuous state spaces
- transition systems
- state space
- finite state
- continuous state
- model checking
- markov decision processes
- concurrent systems
- partially observable markov decision processes
- temporal logic
- reinforcement learning
- fully observable
- action space
- control problems
- markov chain
- practical reasoning
- control flow
- optimal policy
- dynamic programming
- reactive systems
- distributed systems
- planning problems
- petri net
- search space