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...
Main Authors: | Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A |
---|---|
Other Authors: | Flanagan, C |
Format: | Journal article |
Language: | English |
Published: |
Springer
2012
|
Similar Items
-
Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2012) -
Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2011) -
Automatic verification of competitive stochastic systems
by: Simaitis, A
Published: (2014) -
Automatic verification of concurrent stochastic systems
by: Kwiatkowska, M, et al.
Published: (2021) -
On Stochastic Games with Multiple Objectives
by: Chen, T, et al.
Published: (2013)