Research output per year
Research output per year
Search results
-
Article
A game-based abstraction-refinement framework for Markov decision processes
Kattenbelt, M., Kwiatkowska, M., Norman, G. & Parker, D., 1 Sept 2010, In: Formal Methods in System Design. 36, 3, p. 246-280Research output: Contribution to journal › Article › peer-review
65 Citations (Scopus) -
Probabilistic model checking of complex biological pathways
Heath, J., Kwiatkowska, M., Norman, G., Parker, D. & Tymchyshyn, O., 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.Research output: Contribution to journal › Article › peer-review
119 Citations (Scopus)