Journal article
Automatic Verification of Competitive Stochastic Systems.
- Abstract:
-
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 goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of playe...
Expand abstract
- Publication status:
- Published
Actions
Bibliographic Details
- Publisher:
- Springer Publisher's website
- Journal:
- TACAS
- Volume:
- 7214
- Pages:
- 315-330
- Publication date:
- 2012-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- Source identifiers:
-
323450
Item Description
- Language:
- English
- Pubs id:
-
pubs:323450
- UUID:
-
uuid:f2a4233a-2ac2-4f63-a3d4-102e6e135efc
- Local pid:
- pubs:323450
- Deposit date:
- 2013-11-16
Terms of use
- Copyright date:
- 2012
If you are the owner of this record, you can report an update to it here: Report update to this record