DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-31424-7_8,3135,KrCh,Efficient controller synthesis for consumption games with multiple resource types