_id,doi,title
6752,10.1145/3340295,Infinite-duration bidding games
716,10.1145/3121408,The complexity of mean-payoff pushdown games