Refining Strategic Ability

Add to your list(s) Download to your calendar using vCal

• Dimitar P Guelev (IMI/BAS)
• Friday 15 May 2015, 16:00-17:00
• CS 245.

If you have a question about this talk, please contact Neel Krishnaswami.

Alternating-time Temporal Logic is a popular formalism for reasoning about strategic ability. Multiplayer coalitional finite and infinite games can be specified by their temporal winning conditions and combinations of such games on the same arena can reasoned about. A new modality on concurrent game models which I propose expresses the ultimate possibility to distribute the strategic ability of a player so that distribution gives its sub-players a desired combination of abilities to achieve some goals while others stay inaccessible, even possibly in co-operation with other principal players. This is important for the internal organization in collective bodies: e.g., if a single key allows full access to a vehicle or building, you cannot grant access as flexibly as you might wish. I have shown the decidability of model checking for a subset of ATL with the new modality, and have shown some properties which are expressible as axioms.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• CS 245
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.