Mark Kattenbelt's Publications
Sort by: date, type, title
7 publications:
-
[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]
Sort by: date, type, title