Game-Based Probabilistic Predicate Abstraction in PRISM

M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker

institution	Oxford University Computing Laboratory
month	February
number	RR-08-01
year	2008

people

Mark Kattenbelt