A Game−based Abstraction−Refinement Framework for Markov Decision Processes
M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker
Institution
Oxford University Computing Laboratory
Month
February
Number
RR−08−06
Year
2008
M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker