Game−Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker
Details
| Institution |
Oxford University Computing Laboratory |
| Month |
February |
| Number |
RR−08−01 |
| Year |
2008 |
Links
Related pages
|
People |