Gethin Norman
Papers
7
Total Citations
120
H-Index
4
About
Gethin Norman is a leading researcher in formal verification and probabilistic model checking, with a focus on stochastic games and autonomous systems. His major contributions center on developing tools and techniques to verify the correctness of systems that involve competitive or collaborative agents operating under uncertainty. Norman is best known for his work on PRISM-games, a powerful model checker for stochastic games, and he co-authored the landmark paper "PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time" (2020, 66 citations), which introduced support for concurrent stochastic games and equilibrium-based verification. His research provides formal guarantees for timeliness, reliability, and performance in safety-critical systems, as outlined in his highly cited work "Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance" (2014, 28 citations). Norman has also applied these techniques to autonomous agents, as demonstrated in his case study on robot behaviour modelled in PRISM (2016, 13 citations). With over 120 total citations, his work bridges theoretical advances in probabilistic verification and practical tool development, making him a key figure in ensuring the safety and reliability of modern autonomous and distributed systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Autonomous Agent Behaviour Modelled in PRISM – A Case Study13 citations · 2016
- 4
- 5Automatic verification of concurrent stochastic systems3 citations · 2021
- 6Autonomous Agent Behaviour Modelled in PRISM -- A Case Study3 citations · 2016
- 7Multi-player Equilibria Verification for Concurrent Stochastic Games2 citations · 2020