_id,doi,title
10674,10.23638/LMCS-17(1:10)2021,Determinacy in discrete-bidding infinite-duration games
10002,10.1109/LICS52264.2021.9470739,Symbolic time and space tradeoffs for probabilistic verification
11667,10.1145/3232860,Valuation compressions in VCG-based combinatorial auctions
11669,10.1145/2818351,Auctions for heterogeneous items and budget limits