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.