A Game−based Abstraction−Refinement Framework for Markov Decision Processes
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory
2008
|
| _version_ | 1797104570016464896 |
|---|---|
| author | Kattenbelt, M Kwiatkowska, M Norman, G Parker, D |
| author_facet | Kattenbelt, M Kwiatkowska, M Norman, G Parker, D |
| author_sort | Kattenbelt, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:35:36Z |
| format | Report |
| id | oxford-uuid:f7858593-ff60-4ffa-b066-e49fec7c5b1d |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:35:36Z |
| publishDate | 2008 |
| publisher | Oxford University Computing Laboratory |
| record_format | dspace |
| spelling | oxford-uuid:f7858593-ff60-4ffa-b066-e49fec7c5b1d2022-03-27T12:43:13ZA Game−based Abstraction−Refinement Framework for Markov Decision ProcessesReporthttp://purl.org/coar/resource_type/c_93fcuuid:f7858593-ff60-4ffa-b066-e49fec7c5b1dDepartment of Computer ScienceOxford University Computing Laboratory2008Kattenbelt, MKwiatkowska, MNorman, GParker, D |
| spellingShingle | Kattenbelt, M Kwiatkowska, M Norman, G Parker, D A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title | A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title_full | A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title_fullStr | A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title_full_unstemmed | A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title_short | A Game−based Abstraction−Refinement Framework for Markov Decision Processes |
| title_sort | game based abstraction refinement framework for markov decision processes |
| work_keys_str_mv | AT kattenbeltm agamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT kwiatkowskam agamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT normang agamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT parkerd agamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT kattenbeltm gamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT kwiatkowskam gamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT normang gamebasedabstractionrefinementframeworkformarkovdecisionprocesses AT parkerd gamebasedabstractionrefinementframeworkformarkovdecisionprocesses |