Understanding Winning Strategies in B¨uchi Games Using Semiring Semantics
The author explores the application of semiring semantics to analyze strategies in B¨uchi games, focusing on absorption-dominant strategies and their relationship to positional and persistent strategies.