Symbolic Magnifying Lens Abstraction in Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pritam Roy, David Parker, Gethin J. Norman, Luca de Alfaro. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 103-112, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Pritam Roy' in GoogleThis author has not been identified. Look up 'David Parker' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'Luca de Alfaro' in Google

runs on WebDSL