Gethin Norman

Identifiers

• name variant Gethin Norman 0.60 · backfill

Papers (7)

1. Verification and Control of Turn-Based Probabilistic Real-Time Games cs.LO · 2019 · author #2
2. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games cs.LO · 2018 · author #2
3. A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods cs.RO · 2016 · author #4
4. Expected Reachability-Time Games cs.LO · 2016 · author #3
5. Autonomous Agent Behaviour Modelled in PRISM -- A Case Study cs.SY · 2016 · author #4
6. Verification and Control of Partially Observable Probabilistic Real-Time Systems cs.LO · 2015 · author #1
7. Quantitative Games on Probabilistic Timed Automata cs.GT · 2010 · author #2

Mentions

• 1001.1933 #2 · backfill · confidence 0.70 Gethin Norman

Frequent Coauthors

• Marta Kwiatkowska 4 shared papers
• David Parker 3 shared papers
• Alice Miller 2 shared papers
• Ashutosh Trivedi 2 shared papers
• Ruth Hoffmann 2 shared papers
• Gabriel Santos 1 shared papers
• Murray Ireland 1 shared papers
• Murray L. Ireland 1 shared papers
• Sandor M. Veres 1 shared papers
• Sandor Veres 1 shared papers
• Vojt\v{e}ch Forejt 1 shared papers
• Xueyi Zou 1 shared papers