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

Mark Kattenbelt
, Marta Kwiatkowska
, Gethin Norman
, David Parker

Computer Science

Research output: Contribution to journal › Article › peer-review

65 Citations (Scopus)

2 results

Finished
Automated quantitative software verification with PRISM
Kwiatkowska, M. (Principal Investigator)
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M. (Principal Investigator), Ghica, D. (Co-Investigator) & Kwiatkowska, M. (Co-Investigator)
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils