The Library
Average-price-per-reward games on hybrid automata with strong resets
Tools
Tools
Tools
Lazic, Ranko, Jurdzinski, Marcin and Rutkowski, Michał, Ph.D. (2009) Average-price-per-reward games on hybrid automata with strong resets. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science (5403). London: Springer, pp. 167-181. ISBN 9783540938996
Full text not available from this repository.
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 > 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 |
| Date: | 2009 |
| Number: | 5403 |
| Page Range: | pp. 167-181 |
| Identification Number: | 10.1007/978-3-540-93900-9_16 |
| Status: | Not Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Restricted or Subscription Access |
| Related URLs: | |
| URI: | http://wrap.warwick.ac.uk/id/eprint/47537 |
Actions (login required)
 |
View Item |
