Conference item icon

Conference item

On the counting of strategies

Abstract:

In game theory, a classic qualitative question is to check whether a designated set of players has a winning strategy. In several safety-critical applications, however, it is important to ensure that some redundant strategies also exist, to be possibly used in case of some fault. In this paper, we introduce Graded Strategy Logic (GSL), an extension of Strategy Logic (SL) with graded quantifiers. SL is a powerful formalism that allows to describe useful game concepts in multi-agent settings by...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1109/TIME.2015.19

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
Publisher:
Institute of Electrical and Electronics Engineers Publisher's website
Publication date:
2016-01-07
Acceptance date:
2015-06-30
DOI:
EISBN:
978-1-4673-9317-1
Pubs id:
pubs:641945
URN:
uri:154c56f9-2238-46e5-813a-6165ced04286
UUID:
uuid:154c56f9-2238-46e5-813a-6165ced04286
Local pid:
pubs:641945
ISBN:
978-1-4673-9316-4
Keywords:

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