most citedEfficient Controller Synthesis for Consumption Games with Multiple Resource Types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.GT2012★ 2 cited

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +1

We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. More precisely, a consumption game is a…