Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

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

Book Title
Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08)
Year
2008

Links

See Also

Back to Top