Game-Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker infobook title | Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08) |
year | 2008 |
links
BibTeX
Link (pdf)
related pages
|
