Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Details Efficient Controller Synthesis for Consumption Games with Multiple Resource Types Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

2012-02-03

arxiv.org/abs/1202.0796v1

Computer Science

Computer Science and Game Theory

Preliminary version, submitted to CAV 2012

Scientific paper

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 finite-state graph where each transition is labeled by a vector of resource updates, where every update is a non-positive number or omega. The omega updates model the reloading of a given resource. Each vertex belongs either to player \Box or player \Diamond, where the aim of player \Box is to play so that the resources are never exhausted. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are solvable in polynomial time for every fixed number of resource types (i.e., the dimension of the update vectors).

Affiliated with

Also associated with

No associations

Rating

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Efficient Controller Synthesis for Consumption Games with Multiple Resource Types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient Controller Synthesis for Consumption Games with Multiple Resource Types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-5581