Mark Kattenbelt : Publications
-
[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.
Details about Game−Based Probabilistic Predicate Abstraction in PRISM | BibTeX data for Game−Based Probabilistic Predicate Abstraction in PRISM | Download (pdf) of Game−Based Probabilistic Predicate Abstraction in PRISM
-
[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.
Details about Game−Based Probabilistic Predicate Abstraction in PRISM | BibTeX data for Game−Based Probabilistic Predicate Abstraction in PRISM | Download (pdf) of Game−Based Probabilistic Predicate Abstraction in PRISM
-
[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.
Details about A Game−based Abstraction−Refinement Framework for Markov Decision Processes | BibTeX data for A Game−based Abstraction−Refinement Framework for Markov Decision Processes | Download (pdf) of A Game−based Abstraction−Refinement Framework for Markov Decision Processes
-
[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.
Details about Abstraction Refinement for Probabilistic Software | BibTeX data for Abstraction Refinement for Probabilistic Software | Download (pdf) of Abstraction Refinement for Probabilistic Software
-
[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.
Details about Abstraction Framework for Markov Decision Processes and PCTL via Games | BibTeX data for Abstraction Framework for Markov Decision Processes and PCTL via Games | Download (pdf) of Abstraction Framework for Markov Decision Processes and PCTL via Games
-
[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.
Details about Verification and Refutation of Probabilistic Specifications via Games | BibTeX data for Verification and Refutation of Probabilistic Specifications via Games