_id,doi,title
3891,10.1007/11874683_17,Concurrent games with tail objectives