Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2022.15
URN: urn:nbn:de:0030-drops-170786
URL: https://drops.dagstuhl.de/opus/volltexte/2022/17078/
Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
| pdf-format: |
|
Abstract
Weighted Timed Games (WTG for short) are the most widely used model to describe controller synthesis problems involving real-time issues. Unfortunately, they are notoriously difficult, and undecidable in general. As a consequence, one-clock WTG has attracted a lot of attention, especially because they are known to be decidable when only non-negative weights are allowed. However, when arbitrary weights are considered, despite several recent works, their decidability status was still unknown. In this paper, we solve this problem positively and show that the value function can be computed in exponential time (if weights are encoded in unary).
BibTeX - Entry
@InProceedings{monmege_et_al:LIPIcs.CONCUR.2022.15,
author = {Monmege, Benjamin and Parreaux, Julie and Reynier, Pierre-Alain},
title = {{Decidability of One-Clock Weighted Timed Games with Arbitrary Weights}},
booktitle = {33rd International Conference on Concurrency Theory (CONCUR 2022)},
pages = {15:1--15:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-246-4},
ISSN = {1868-8969},
year = {2022},
volume = {243},
editor = {Klin, Bartek and Lasota, S{\l}awomir and Muscholl, Anca},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/17078},
URN = {urn:nbn:de:0030-drops-170786},
doi = {10.4230/LIPIcs.CONCUR.2022.15},
annote = {Keywords: Weighted timed games, Algorithmic game theory, Timed automata}
}
| Keywords: | Weighted timed games, Algorithmic game theory, Timed automata | |
| Seminar: | 33rd International Conference on Concurrency Theory (CONCUR 2022) | |
| Issue date: | 2022 | |
| Date of publication: | 06.09.2022 |
