Reachability and Büchi games
- Speaker
- Yu Cong
- Affiliation
- undergraduate student in University of Electronic Science and Technology of China
- Date
- Time
- – Asia/Shanghai
- 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.
Schedule
- 10:00-11:00 (Time in Beijing)
- 15:00-16:00 (Time in Auckland)
- January 7, 2022 (Friday)