A Game−based Abstraction−Refinement Framework for Markov Decision Processes
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory
2008
|
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory
2008
|