Automatic Verification of Competitive Stochastic Systems.

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular...

Полное описание

Библиографические подробности
Главные авторы:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Другие авторы:	Flanagan, C
Формат:	Journal article
Язык:	English
Опубликовано:	Springer 2012

Automatic verification of competitive stochastic systems по Simaitis, A

Опубликовано 2014

Диссертация

Automatic Verification of Competitive Stochastic Systems по Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Опубликовано 2012

Conference item

Automatic Verification of Competitive Stochastic Systems по Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Опубликовано 2011

Report

Automatic Verification of Competitive Stochastic Systems.

Automatic verification of competitive stochastic systems по Simaitis, A

Automatic Verification of Competitive Stochastic Systems по Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Automatic Verification of Competitive Stochastic Systems по Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Схожие документы