Search filters

List of works by Gethin Norman

Automatic verification of concurrent stochastic systems

scientific article published on 22 January 2021

Correlated Equilibria and Fairness in Concurrent Stochastic Games

scientific article published in 2022

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

scientific article published in 2019

Multi-player Equilibria Verification for Concurrent Stochastic Games

scientific article published in 2020

Practical Applications of Probabilistic Model Checking to Communication Protocols

scientific article published on 29 November 2012

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

scientific article published in 2014

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata

scientific article published in March 2017

Using probabilistic model checking for dynamic power management

Verification and Control of Turn-Based Probabilistic Real-Time Games

scientific article published in 2019

Paulina is supported by:

About Paulina

Help