_id,doi,title
3354,10.1145/1970398.1970404,Qualitative concurrent parity games