Gethin Norman

(Former)

View graph of relations

Most downloaded publications

Compositional probabilistic verification through multi-objective model checking
Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In : Information and Computation. 232, p. 38-65

Research output: Contribution to journal › Article

117 downloads

Recent publications

Verification and control of partially observable probabilistic real-time systems
Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Compositional probabilistic verification through multi-objective model checking
Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In : Information and Computation. 232, p. 38-65

Research output: Contribution to journal › Article

A game-based abstraction-refinement framework for Markov decision processes
Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 1 Sep 2010, In : Formal Methods in System Design. 36, 3, p. 246-280

Research output: Contribution to journal › Article

View all (74)