[msp-interest] [MSP101] Clemens Kupke: Graph Games with Infinite Plays (1pm Mon 17/11, 1414a)

[Fiona Blackett]

Hello all,

Next Monday Clemens will be giving an MSP101 talk, titled Graph Games with Infinite Plays

Cheers,
Fiona Blackett
----------------------------------------------------------------------------------------------

Date, time and place:
 Monday 17th November, 1:00 pm, Livingstone Tower room LT1414a

Speaker:
 Clemens Kupke (MSP)

Title:
  Graph Games with Infinite Plays

Zoom Link:
  https://strath.zoom.us/j/82143788147?pwd=dMy8sftupiQ8eEiIqLzodkMra6RTfn.1
  Meeting ID: 821 4378 8147
  Password: whiteboard


Abstract:
  In this 101 I am planning to discuss 2-player graph games with infinite plays. At first we will focus on games with "trivial" acceptance conditions where a player either loses or wins all infinite plays. As motivating example I will present the games that characterize least and greatest fixpoints of monotone operators. After that we will explore why those games are too simple for reasoning about alternating fixpoints and move to parity games, a type of graph game that captures the full expressive power of the modal mu calculus. Time permitting I will explain how to prove that parity games are (memoryless) determined and how one can compute winning regions of a given parity game.
----------------------------------------------------------------------------------------------


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20251113/09e3b461/attachment.html