A game-based abstraction-refinement framework for Markov decision processes
Research output: Contribution to journal › Article › peer-review
Research Projects
Automated quantitative software verification with PRISM
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
Mark Ryan, Dan Ghica & Marta Kwiatkowska
ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL
1/10/06 → 31/03/10
Project: Research Councils