Jurdzinski, Marcin, Lazic, Ranko and Rutkowski, Michał, Ph.D. (2009) Average-price-per-reward games on hybrid automata with strong resets. In: 10th International Conference on Verification, Model Checking, and Abstract Interpretation, Savannah, GA, January 18-20, 2009. Published in: Lecture Notes in Computer Science, Vol.5403 pp. 167-181.

Full text not available from this repository.

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:	Conference Item (Paper)
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:	Lecture Notes in Computer Science
Publisher:	Springer
ISBN:	978-3-540-93899-6
ISSN:	0302-9743
Editor:	Jones, ND and MullerOlm, M
Date:	2009
Volume:	Vol.5403
Number of Pages:	15
Page Range:	pp. 167-181
Identification Number:	10.1007/978-3-540-93900-9_16
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access
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
URI:	http://wrap.warwick.ac.uk/id/eprint/28176

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item