Average-price-per-reward games on hybrid automata with strong resets |
| |
Authors: | Michał Rutkowski Ranko Lazić Marcin Jurdziński |
| |
Affiliation: | 1.Department of Computer Science,University of Warwick,Covnetry,UK |
| |
Abstract: | We study price-per-reward games on hybrid automata with strong resets. They generalise average-price games previously studied and have applications in scheduling. We obtain decidability results by a translation to a novel class of finite graphs with price and reward information, and games assigned to edges. The cost and reward of following an edge are determined by the outcome of the edge game that is assigned to it. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |