_id,doi,title 3135,10.1007/978-3-642-31424-7_8,Efficient controller synthesis for consumption games with multiple resource types