A game-based abstraction-refinement framework for Markov decision processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design, 36(3):246-280, 2010. [doi]

This author has not been identified. Look up 'Mark Kattenbelt' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. It may be one of the following persons:

Gethin J. Norman

Look up 'Gethin Norman' in GoogleThis author has not been identified. Look up 'David Parker' in Google

runs on WebDSL