Skip to main content

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