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

Research output: Contribution to journalArticlepeer-review

Research Projects

  1. Automated quantitative software verification with PRISM

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0731/03/10

    Project: Research Councils

  2. UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

    Mark Ryan, Dan Ghica & Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/0631/03/10

    Project: Research Councils