Conference item icon

Conference item

Hierarchical cost-parity games

Abstract:

Cost-parity games are a fundamental tool in system design for the analysis of reactive and distributed systems that recently have received a lot of attention from the formal methods research community. They allow to reason about the time delay on the requests granted by systems, with a bounded consumption of resources, in their executions. In this paper, we contribute to research on Cost-parity games by combining them with hierarchical systems, a successful method for the succinct representat...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.TIME.2017.6

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
European Research Council
Funding agency for:
Perelli, G
Grant:
Advanced Investigator grant 291528 (“RACE”
Publisher:
Schloss Dagstuhl
Host title:
24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Series:
Leibniz International Proceedings in Informatics
Journal:
International Symposium on Temporal Representation and Reasoning More from this journal
Volume:
90
Pages:
6:1--6:17
Publication date:
2017-09-14
Acceptance date:
2017-07-04
DOI:
ISSN:
1868-8969
ISBN:
9783959770521
Keywords:
Pubs id:
pubs:723874
UUID:
uuid:69c1dcb5-9b40-46be-bd7a-85cd97ed902e
Local pid:
pubs:723874
Source identifiers:
723874
Deposit date:
2017-08-22

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP