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