Mark Kattenbelt

According to our database, Mark Kattenbelt authored at least 6 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Automated quantitative software verification.

Mark Kattenbelt

PhD thesis, 2010

A game-based abstraction-refinement framework for Markov decision processes.

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Formal Methods Syst. Des., 2010

2009

Abstraction Refinement for Probabilistic Software.

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Proceedings of the Verification, 2009

Verification and Refutation of Probabilistic Specifications via Games.

Mark Kattenbelt, Michael Huth

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

2008

Game-Based Probabilistic Predicate Abstraction in PRISM.

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

07101 Working Group Report -- Performance Measures Other Than Time.

Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007