Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Proceedings |
| Conference | Computer Aided Verification - 24th International Conference, CAV 2012 |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/978-3-642-31424-7_8 |
| Field | Informatics |
| Keywords | graph games; resource dependent systems |
| Attached files | |
| Description | We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are efficiently solvable if the number of resource types is fixed. |
| Related projects: |