Gethin Norman

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 35

Top Venues

Publications

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300 (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR (2023)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2023)
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5 (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR (2022)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) (2022)
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking and Autonomy. CoRR (2021)
William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei
Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games 13 (2) (2021)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58 (1-2) (2021)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic Verification of Concurrent Stochastic Systems. CoRR (2020)
Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
Collaborative models for autonomous systems controller synthesis. Formal Aspects Comput. 32 (2-3) (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM (2019)
Marta Kwiatkowska, Gethin Norman, David Parker
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR (2019)
Marta Kwiatkowska, Gethin Norman, David Parker
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems (2019)
Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman
Strategy Synthesis for Autonomous Agents Using PRISM. NFM (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automated Verification of Concurrent Stochastic Games. QEST (2018)
Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. 669 (2017)
Gethin Norman, David Parker, Xueyi Zou
Verification and control of partially observable probabilistic systems. Real Time Syst. 53 (3) (2017)
Marta Kwiatkowska, Gethin Norman, David Parker
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools (2017)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. CoRR (2016)
Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Expected reachability-time games. Theor. Comput. Sci. 631 (2016)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Expected Reachability-Time Games. CoRR (2016)
Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR (2016)
Ruth Hoffmann, Murray L. Ireland, Alice Miller, Gethin Norman, Sandor M. Veres
Autonomous Agent Behaviour Modelled in PRISM - A Case Study. SPIN (2016)
Gethin Norman, David Parker, Xueyi Zou
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS (2015)
Md. Sadek Ferdous, Gethin Norman, Audun Jøsang, Ron Poet
Mathematical Modelling of Trust Issues in Federated Identity Management. IFIPTM (2015)
Gethin Norman, David Parker, Xueyi Zou
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR (2015)
Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS (2015)
Mieke Massink, Gethin Norman, Herbert Wiklicky
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538 (2014)
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind (2014)
Md. Sadek Ferdous, Gethin Norman, Ron Poet
Mathematical Modelling of Identity, Identity Management and Other Related Topics. SIN (2014)
Gethin Norman, David Parker, Jeremy Sproston
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43 (2) (2013)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232 (2013)
Péter Biró, Gethin Norman
Analysis of stochastic matching markets. Int. J. Game Theory 42 (4) (2013)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24 (4-6) (2012)
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19 (2) (2012)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
The PRISM Benchmark Suite. QEST (2012)
Alessandra Di Pierro, Gethin Norman
Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. 413 (1) (2012)
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST (2011)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV (2011)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Automated Verification Techniques for Probabilistic Systems. SFM (2011)
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB (2011)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS (2011)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Assume-Guarantee Verification for Probabilistic Systems. TACAS (2010)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36 (3) (2010)
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Quantitative Games on Probabilistic Timed Automata CoRR (2010)
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Expected Reachability-Time Games. FORMATS (2010)
Marta Kwiatkowska, Gethin Norman, David Parker
Advances and challenges of probabilistic model checking. Allerton (2010)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
A Framework for Verification of Software with Time and Probabilities. FORMATS (2010)
Marta Kwiatkowska, Gethin Norman, David Parker
Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses (2009)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Abstraction Refinement for Probabilistic Software. VMCAI (2009)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS (2009)
Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Concavely-Priced Probabilistic Timed Automata. CONCUR (2009)
Konstantinos Chatzikokolakis, Gethin Norman, David Parker
Bisimulation for Demonic Schedulers. FoSSaCS (2009)
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35 (2) (2009)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410 (12-13) (2009)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. 35 (4) (2008)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391 (3) (2008)
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Game-Based Probabilistic Predicate Abstraction in PRISM. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST (2008)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic model checking for probabilistic timed automata. Inf. Comput. 205 (7) (2007)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Stochastic Model Checking. SFM (2007)
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
Model checking the probabilistic pi-calculus. QEST (2007)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
Simulation and verification for computational modelling of signalling pathways. WSC (2006)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
On Reduction Criteria for Probabilistic Reward Models. FSTTCS (2006)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic Model Checking of Complex Biological Pathways. CMSB (2006)
Gethin Norman, Vitaly Shmatikov
Analysis of probabilistic contract signing. J. Comput. Secur. 14 (6) (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Game-based Abstraction for Markov Decision Processes. QEST (2006)
Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
Model checking expected time and expected reward formulae with random time bounds. Comput. Math. Appl. 51 (2) (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Symmetry Reduction for Probabilistic Model Checking. CAV (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Quantitative Analysis With the Probabilistic Model Checker PRISM. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29 (1) (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17 (2) (2005)
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (10) (2005)
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS (2005)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM 2.0: A Tool for Probabilistic Model Checking. QEST (2004)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT (2004)
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS (2004)
Gethin Norman
Analysing Randomized Distributed Algorithms. Validation of Stochastic Systems (2004)
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design (2004)
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) (2004)

Gethin Norman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gethin Norman