Mark Kattenbelt

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36 (3) (2010)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Abstraction Refinement for Probabilistic Software. VMCAI (2009)
Mark Kattenbelt, Michael Huth
Verification and Refutation of Probabilistic Specifications via Games. FSTTCS (2009)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Game-Based Probabilistic Predicate Abstraction in PRISM. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang
07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems (2007)