Gethin Norman

Orcid: 0000-0001-9326-4344

According to our database1, Gethin Norman authored at least 103 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games.
Inf. Comput., 2024

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Partially Observable Stochastic Games with Neural Perception Mechanisms.
Proceedings of the Formal Methods - 26th International Symposium, 2024

2023
Point-based Value Iteration for Neuro-Symbolic POMDPs.
CoRR, 2023

2022
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.
CoRR, 2022

Probabilistic Model Checking and Autonomy.
Annu. Rev. Control. Robotics Auton. Syst., 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.
Proceedings of the Principles of Systems Design, 2022

2021
Balancing Turn-Based Games With Chained Strategy Generation.
IEEE Trans. Games, 2021

Automatic verification of concurrent stochastic systems.
Formal Methods Syst. Des., 2021

2020
Collaborative models for autonomous systems controller synthesis.
Formal Aspects Comput., 2020

Multi-player Equilibria Verification for Concurrent Stochastic Games.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification and Control of Turn-Based Probabilistic Real-Time Games.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018
Automated Verification of Concurrent Stochastic Games.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Strategy Synthesis for Autonomous Agents Using PRISM.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.
Theor. Comput. Sci., 2017

Verification and control of partially observable probabilistic systems.
Real Time Syst., 2017

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Expected reachability-time games.
Theor. Comput. Sci., 2016

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.
CoRR, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015
Mathematical Modelling of Trust Issues in Federated Identity Management.
Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

Verification and Control of Partially Observable Probabilistic Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Quantitative Aspects of Programming Languages and Systems (2011-12).
Theor. Comput. Sci., 2014

Mathematical Modelling of Identity, Identity Management and Other Related Topics.
Proceedings of the 7th International Conference on Security of Information and Networks, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013
Analysis of stochastic matching markets.
Int. J. Game Theory, 2013

Compositional probabilistic verification through multi-objective model checking.
Inf. Comput., 2013

Model checking for probabilistic timed automata.
Formal Methods Syst. Des., 2013

2012
Editorial: Quantitative Aspects of Programming Languages.
Theor. Comput. Sci., 2012

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
Int. J. Comput. Their Appl., 2012

Probabilistic verification of Herman's self-stabilisation algorithm.
Formal Aspects Comput., 2012

The PRISM Benchmark Suite.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011
Quantitative Multi-objective Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

PRISM 4.0: Verification of Probabilistic Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Systematic Approach to Evaluate Sustained Stochastic Oscillations.
Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

2010
A game-based abstraction-refinement framework for Markov decision processes.
Formal Methods Syst. Des., 2010

Quantitative Games on Probabilistic Timed Automata
CoRR, 2010

Assume-Guarantee Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A Framework for Verification of Software with Time and Probabilities.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Advances and challenges of probabilistic model checking.
Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng., 2009

Probabilistic Mobile Ambients.
Theor. Comput. Sci., 2009

PRISM: probabilistic model checking for performance and reliability analysis.
SIGMETRICS Perform. Evaluation Rev., 2009

Abstraction Refinement for Probabilistic Software.
Proceedings of the Verification, 2009

Bisimulation for Demonic Schedulers.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Concavely-Priced Probabilistic Timed Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Quantitative Verification Techniques for Biological Processes.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.
SIGMETRICS Perform. Evaluation Rev., 2008

Using probabilistic model checking in systems biology.
SIGMETRICS Perform. Evaluation Rev., 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007
Symbolic model checking for probabilistic timed automata.
Inf. Comput., 2007

Stochastic Model Checking.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Model checking the probabilistic pi-calculus.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Numerical vs. statistical probabilistic model checking.
Int. J. Softw. Tools Technol. Transf., 2006

A formal analysis of bluetooth device discovery.
Int. J. Softw. Tools Technol. Transf., 2006

Analysis of probabilistic contract signing.
J. Comput. Secur., 2006

Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods Syst. Des., 2006

Model checking expected time and expected reward formulae with random time bounds.
Comput. Math. Appl., 2006

Simulation and verification for computational modelling of signalling pathways.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Game-based Abstraction for Markov Decision Processes.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Symmetry Reduction for Probabilistic Model Checking.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Perform. Evaluation Rev., 2005

Using probabilistic model checking for dynamic power management.
Formal Aspects Comput., 2005

Quantitative Analysis With the Probabilistic Model Checker PRISM.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Stochastic Transition Systems for Continuous State Spaces and Non-determinism.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Probabilistic symbolic model checking with PRISM: a hybrid approach.
Int. J. Softw. Tools Technol. Transf., 2004

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
Int. J. Softw. Tools Technol. Transf., 2004

Analysing Randomized Distributed Algorithms.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

PRISM 2.0: A Tool for Probabilistic Model Checking.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Mathematical techniques for analyzing concurrent and probabilistic systems.
CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004

2003
On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebraic Methods Program., 2003

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.
Formal Aspects Comput., 2003

2002
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci., 2002

A Symbolic Out-of-Core Solution Method for Markov Models.
Proceedings of the Parallel and Distributed Model Checking, 2002

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Model Checking CSL until Formulae with Random Time Bounds.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Verifying Randomized Byzantine Agreement.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

PRISM: Probabilistic Symbolic Model Checker.
Proceedings of the Computer Performance Evaluation, 2002

2001
Faster and Symbolic CTMC Model Checking.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Symbolic Computation of Maximal Probabilistic Reachability.
Proceedings of the CONCUR 2001, 2001

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
Proceedings of the CONCUR 2000, 2000

1998
A Testing Equivalence for Reactive Probabilistic Processes.
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Proceedings of the Third Workshop on Computation and Approximation, 1997

1996
Probabilistic Metric Semantics for a Simple Language with Recursion.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996


  Loading...