A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Main Authors: | Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D |
---|---|
Format: | Report |
Published: |
Oxford University Computing Laboratory
2008
|
Similar Items
-
A game-based abstraction-refinement framework for Markov decision processes
by: Kattenbelt, M, et al.
Published: (2010) -
Abstraction Framework for Markov Decision Processes and PCTL via Games
by: Kattenbelt, M, et al.
Published: (2009) -
Game−Based Probabilistic Predicate Abstraction in PRISM
by: Kattenbelt, M, et al.
Published: (2008) -
Game−Based Probabilistic Predicate Abstraction in PRISM
by: Kattenbelt, M, et al.
Published: (2008) -
Abstraction Refinement for Probabilistic Software
by: Kwiatkowska, G, et al.
Published: (2009)