The Library
Average-price-per-reward games on hybrid automata with strong resets
Tools
Lazic, Ranko, Jurdzinski, Marcin and Rutkowski, Michał, Ph.D. (2009) Average-price-per-reward games on hybrid automata with strong resets. In: Jones, Neil D. and Müller-Olm, Markus, (eds.) Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science (5403). London: Springer, pp. 167-181. ISBN 9783540938996
PDF
rmich.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (260Kb) |
Official URL: http://dx.doi.org/10.1007/978-3-540-93900-9_16
Abstract
We study price-per-reward games on hybrid automata with strong resets. They generalise priced 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: | Book Item | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | Lecture Notes in Computer Science | ||||
Journal or Publication Title: | Verification, Model Checking, and Abstract Interpretation | ||||
Publisher: | Springer | ||||
Place of Publication: | London | ||||
ISBN: | 9783540938996 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Verification, Model Checking, and Abstract Interpretation | ||||
Editor: | Jones, Neil D. and Müller-Olm, Markus | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Number: | 5403 | ||||
Page Range: | pp. 167-181 | ||||
DOI: | 10.1007/978-3-540-93900-9_16 | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 21 December 2015 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 10th International Conference on Verification, Model Checking, and Abstract Interpretation | ||||
Type of Event: | Conference | ||||
Location of Event: | Savannah, GA | ||||
Date(s) of Event: | January 18-20, 2009 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |