TY  - RPRT
TI  - Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
AU  - Tomáš Brázdil
AU  - Krishnendu Chatterjee
AU  - Antonín Kučera
AU  - Petr Novotný
PY  - 2012
UR  - https://arxiv.org/abs/1202.0796
ID  - 1202.0796
ER  -