Game−Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker
Details
| Book Title |
Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08) |
| Year |
2008 |
Links
Related pages
|
People |