Journal article icon

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


Access Document


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
TACAS
Volume:
7214
Pages:
315-330
Publication date:
2012-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:f2a4233a-2ac2-4f63-a3d4-102e6e135efc
Source identifiers:
323450
Local pid:
pubs:323450
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP