A Game−based Abstraction−Refinement Framework for Markov Decision Processes
| Auteurs principaux: | , , , |
|---|---|
| Format: | Report |
| Publié: |
Oxford University Computing Laboratory
2008
|
Search Result 1
A game-based abstraction-refinement framework for Markov decision processes
Publié 2010
Journal article