GAME−BASED PROBABILISTIC PREDICATE ABSTRACTION IN PRISM
M. Kattenbelt‚ M. Kwiatkowska‚ G. Norman and D. Parker
Details
| Institution |
OUCL |
| Month |
February |
| Number |
RR−08−01 |
| Pages |
25 |
| Year |
2008 |