Search filters

List of works by David Parker

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

Design and analysis of DNA strand displacement devices using probabilistic model checking

scientific article published on 4 January 2012

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

Planning for Automated Vehicles with Human Trust

scientific article published on 02 September 2022

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