10 citations · 12 across the 2 of their papers we have counts for
2 papers
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…
cs.GT2008★ 10 cited
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
The synthesis problem asks to construct a reactive finite-state system from an -regular specification. Initial specifications are often unrealizable, which means that there is n…