|
|
Mark Kattenbelt: Publications
personal ordering | bibtex
|
[1] |
Game-Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt et al.
In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08) 2008.
Details
|
BibTeX
| Link (pdf) |
|
[2] |
Game-Based Probabilistic Predicate Abstraction in PRISM
M. Kattenbelt et al.
No. RR-08-01, Technical Report, Oxford University Computing Laboratory. February 2008.
Details
|
BibTeX
| Link (pdf) |
|
[3] |
A Game-based Abstraction-Refinement Framework for Markov Decision Processes
M. Kattenbelt et al.
No. RR-08-06, Technical Report, Oxford University Computing Laboratory. February 2008.
Details
|
BibTeX
| Link (pdf) |
|
[4] |
Abstraction Refinement for Probabilistic Software
M. Kattenbelt, M. Kwiatkowska, G. Norman, D. Parker
In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI `09) Springer, January 2009.
Details
|
BibTeX
| Link (pdf) |
|
[5] |
Abstraction Framework for Markov Decision Processes and PCTL via Games
Mark Kattenbelt, Michael Huth
No. RR-09-01, Technical Report, Oxford University Computing Laboratory. 2009.
Details
|
BibTeX
| Link (pdf) |
|
[6] |
Verification and Refutation of Probabilistic Specifications via Games
M. Kattenbelt, M. Huth
In Proc. 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS `09) 2009.
Details
|
BibTeX
|
|
|
|
|
