DOI,IST REx ID,Title of publication
10.1145/1109557.1109631,3890,The complexity of quantitative concurrent parity games