Game−Based Probabilistic Predicate Abstraction in PRISM
| প্রধান লেখক: | , , , |
|---|---|
| বিন্যাস: | Report |
| প্রকাশিত: |
Oxford University Computing Laboratory
2008
|
| _version_ | 1826278556981788672 |
|---|---|
| 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-06T23:45:41Z |
| format | Report |
| id | oxford-uuid:70ce1f69-fa9a-49a9-beda-fa513a98c61f |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:45:41Z |
| publishDate | 2008 |
| publisher | Oxford University Computing Laboratory |
| record_format | dspace |
| spelling | oxford-uuid:70ce1f69-fa9a-49a9-beda-fa513a98c61f2022-03-26T19:39:41ZGame−Based Probabilistic Predicate Abstraction in PRISMReporthttp://purl.org/coar/resource_type/c_93fcuuid:70ce1f69-fa9a-49a9-beda-fa513a98c61fDepartment of Computer ScienceOxford University Computing Laboratory2008Kattenbelt, MKwiatkowska, MNorman, GParker, D |
| spellingShingle | Kattenbelt, M Kwiatkowska, M Norman, G Parker, D Game−Based Probabilistic Predicate Abstraction in PRISM |
| title | Game−Based Probabilistic Predicate Abstraction in PRISM |
| title_full | Game−Based Probabilistic Predicate Abstraction in PRISM |
| title_fullStr | Game−Based Probabilistic Predicate Abstraction in PRISM |
| title_full_unstemmed | Game−Based Probabilistic Predicate Abstraction in PRISM |
| title_short | Game−Based Probabilistic Predicate Abstraction in PRISM |
| title_sort | game based probabilistic predicate abstraction in prism |
| work_keys_str_mv | AT kattenbeltm gamebasedprobabilisticpredicateabstractioninprism AT kwiatkowskam gamebasedprobabilisticpredicateabstractioninprism AT normang gamebasedprobabilisticpredicateabstractioninprism AT parkerd gamebasedprobabilisticpredicateabstractioninprism |