Mark Kattenbelt's Publications

Sort by: date, type, title

7 publications:

[Kat11] M. Kattenbelt. Automated Quantitative Software Verification. Ph.D. thesis, Oxford University. March 2011. [pdf] [bib]

[KKNP10] M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker. A Game-based Abstraction-Refinement Framework for Markov Decision Processes. Formal Methods in System Design, 36(3), pages 246-280, Springer. September 2010. [pdf] [bib]

[KH09a] M. Kattenbelt and M. Huth. Verification and Refutation of Probabilistic Specifications via Games. In Ravi Kannan and K Narayan Kumar (editors), Proc. 29th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09), pages 251-262, LIPIcs. 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]

[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