A game-based abstraction-refinement framework for Markov decision processes

ASED ABSTRACTION-REFINEMENT FRAMEWORK FOR MARKOV DECISION PROCESSES Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker CL-RR-08-06  Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD 

• Type: Journal
• Year: 2010
• Where: FMSD
• Authors: Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
• Keywords: FMSD 2010, Markov Decision, Marta Kwiatkowska Gethin, Oxford University Computing Laboratory