Costs and rewards in priced timed automata
<p>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.</p> <p>We study the Pareto Domination Problem, which asks whether it is possible to reach a target lo...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2020
|