_id,doi,title
6761,10.1016/j.tcs.2019.06.031,Dynamic resource allocation games
2246,10.1016/j.tcs.2013.11.032,Alternating traps in Muller and parity games