_id,doi,title
3882,10.1016/j.tcs.2007.07.047,Concurrent games with tail objectives