Skip to main content

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