Filtros de búsqueda

Lista de obras de Gethin Norman

Automatic verification of concurrent stochastic systems

artículo científico publicado en 2021

Correlated Equilibria and Fairness in Concurrent Stochastic Games

artículo científico publicado en 2022

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games

artículo científico publicado en 2019

Multi-player Equilibria Verification for Concurrent Stochastic Games

artículo científico publicado en 2020

Practical Applications of Probabilistic Model Checking to Communication Protocols

artículo científico publicado en 2012

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

artículo científico publicado en 2014

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

artículo científico publicado en 2017

Using probabilistic model checking for dynamic power management

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

artículo científico publicado en 2019

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda