![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Refining Strategic Ability
Refining Strategic AbilityAdd to your list(s) Download to your calendar using vCal
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:
Note that ex-directory lists are not shown. |
Other listsChemical Engineering Research Seminar Series Type the title of a new list here Geometry and Mathematical Physics seminarOther talksWave turbulence in the Schrödinger-Helmholtz equation TBA TBC Ultrafast Spectroscopy and Microscopy as probes of Energy Materials Life : it’s out there, but what and why ? TBA |