Mark Kattenbelt's Publications

Sort by: date, type, title

6 publications:

[KH09a] M. Kattenbelt and M. Huth. Verification and Refutation of Probabilistic Specifications via Games. In Proc. 29th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09). To appear. December 2009. [pdf] [bib]
[KH09] M. Kattenbelt and M. Huth. Abstraction Framework for Markov Decision Processes and PCTL Via Games. Technical report RR-09-01, Oxford University Computing Laboratory. March 2009. [pdf]
[KKNP09] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. Abstraction Refinement for Probabilistic Software. In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), volume 5403 of Lecture Notes in Computer Science, pages 182-197, Springer. January 2009. [ps.gz] [pdf] [bib]

[KKNP08a] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. Game-Based Probabilistic Predicate Abstraction in PRISM. In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), volume 220 (3) of Electronic Notes in Theoretical Computer Science , pages 5-21 , Elsevier. March 2008. [ps.gz] [pdf] [bib]
[KKNP08c] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. A Game-based Abstraction-Refinement Framework for Markov Decision Processes. Technical report RR-08-06, Oxford University Computing Laboratory. February 2008. [ps.gz] [pdf] [bib]

[KRR07] M. Kattenbelt, T. Ruys, A. Rensink. An Object-Oriented Framework for Explicit-State Model Checking. In P. Groot (editor) Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS`07), pages 84-92. 2007. [pdf] [bib]

Sort by: date, type, title