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

13 years 3 months ago

Download www.prismmodelchecker.org

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

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm

Real-time Traffic

FMSD 2010 | Markov Decision | Marta Kwiatkowska Gethin | Oxford University Computing Laboratory |

claim paper

» Best Probabilistic Transformers

» GameBased Probabilistic Predicate Abstraction in PRISM

» A Markov Decision Process based flow assignment framework for heterogeneous network access

» Markov decision process MDP framework for optimizing software on mobile phones

» Planning treatment of ischemic heart disease with partially observable Markov decision pro...

» Communication in MultiAgent Markov Decision Processes

» Learning Representation and Control in Continuous Markov Decision Processes

» Purely Epistemic Markov Decision Processes

Post Info
More Details (n/a)

Added	25 Jan 2011
Updated	25 Jan 2011
Type	Journal
Year	2010
Where	FMSD
Authors	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Comments (0)

Sciweavers

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

FMSD 2010 | Markov Decision | Marta Kwiatkowska Gethin | Oxford University Computing Laboratory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers