BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1618
DTSTAMP:20251114T073031Z
SUMMARY:Boolean Observation Games
DESCRIPTION:Speaker: Sunil Simon (IIT Kanpur)\n\nAbstract: \nGame theoretic
  models have proved to be quite versatile in the analysis of multi-agent s
 ystems. Solution concepts like equilibria provide a description of the pos
 sible outcomes. From the perspective of computer science\, one of the fund
 amental questions is the complexity of computing equilibria in such game m
 odels\, which in turn require the representation of the model to be compac
 t. While explicit descriptions of classical game theoretic models don't fi
 t this criterion\, there are various approaches based on constraining the 
 quantitative payoff functions to achieve compact representation. These res
 ult in various well-studied classes of games like polymatix games and addi
 tively separable hedonic games. Another approach is to use a logical langu
 age to represent agents' objectives.In this talk\, we propose a qualitativ
 e model for incomplete information games that has a compact representation
 . We identify structural properties which guarantee the existence of equil
 ibria. We identify the fragment which precisely corresponds to ``Boolean g
 ames'' (a well-studied model of strategic games with Boolean objectives). 
 We also provide complexity results for the natural questions of verificati
 on and checking of the emptiness of equilibrium outcomes in this class of 
 games.This is joint work with Hans van Ditmarsch (CNRS\, IRIT France).Shor
 t Bio:Sunil Simon received his PhD from the Institute of Mathematical Scie
 nce\, Chennai and is currently a faculty member at the Department of Compu
 ter Science and Engineering\, IIT Kanpur. His research interests include f
 ormal verification\, logical foundations of multiple-agent systems and com
 putational analysis of games.\n
URL:https://www.tcs.tifr.res.in/web/events/1618
DTSTART;TZID=Asia/Kolkata:20251125T100000
DTEND;TZID=Asia/Kolkata:20251125T110000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR