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