Concepedia

Mark Kattenbelt

MK

Statistics

Publications

3

Citations

146

H-Index

3

Active since

2008

Affiliations

University of Oxford(Current)

Mark Kattenbelt is an author at University of Oxford specializing in markov decision processes, stochastic games, and game theory.

Publications per year

2008–2010

3

Publications

3

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

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman et al. · Formal Methods in System Design · 2010 · 99 citations

, , +11

Game-Based Probabilistic Predicate Abstraction in PRISM

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman et al. · Electronic Notes in Theoretical Computer Science · 2008 · 31 citations · Full text

, , +16

Verification and Refutation of Probabilistic Specifications via Games

Mark Kattenbelt, Michael Huth · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 16 citations · Full text

, , +14

1–3 of 3