Journal article icon

Journal article

Costs and rewards in priced timed automata

Abstract:

We consider Pareto analysis of multi-priced timed automata (MPTA) having multiple observers recording costs (to be minimised) and rewards (to be maximised) along a computation.

We study the Pareto Domination Problem, which asks whether it is possible to reach a target location such that the accumulated costs and rewards Pareto dominate a given vector. We show that this problem is undecidable in general, but decidable for MPTA with at most three observers. We show the problem to be ...

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

Actions


Access Document


Files:
Publisher copy:
10.1016/j.ic.2020.104656

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Funder identifier:
http://dx.doi.org/10.13039/501100000266
Grant:
EP/N008197/1
Publisher:
Elsevier
Journal:
Information and Computation More from this journal
Volume:
282
Article number:
104656
Publication date:
2020-11-17
Acceptance date:
2020-01-27
DOI:
EISSN:
1090-2651
ISSN:
0890-5401
Language:
English
Keywords:
Pubs id:
1084198
Local pid:
pubs:1084198
Deposit date:
2020-01-31

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