The Library
Average-price-per-reward games on hybrid automata with strong resets
Tools
Rutkowski, Michał, Ph.D., Lazić, Ranko and Jurdzinski, Marcin (2011) Average-price-per-reward games on hybrid automata with strong resets. International Journal on Software Tools for Technology Transfer, Vol.13 (No.6). pp. 553-569. doi:10.1007/s10009-010-0180-8 ISSN 1433-2779.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/s10009-010-0180-8
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.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | International Journal on Software Tools for Technology Transfer | ||||
Publisher: | Springer | ||||
ISSN: | 1433-2779 | ||||
Official Date: | November 2011 | ||||
Dates: |
|
||||
Volume: | Vol.13 | ||||
Number: | No.6 | ||||
Page Range: | pp. 553-569 | ||||
DOI: | 10.1007/s10009-010-0180-8 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC) | ||||
Grant number: | EP/E022030/1 (EPSRC) |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |