_id,doi,title
3890,10.1145/1109557.1109631,The complexity of quantitative concurrent parity games