Reachability and Büchi games

Speaker:

Yu Cong (undergraduate student in University of Electronic Science and Technology of China)

Time:

  • 10:00-11:00 (Time in Beijing)
  • 15:00-16:00 (Time in Auckland)
  • January 7, 2022 (Friday)

Venue:

B1-518B, Research Building 4

Abstract:

Reachability and Buchi games are 2-player games on directed finite graphs. In this presentation, I will briefly introduce these two games and give a description of already existing algorithms for them.

,