License: Creative Commons Attribution 4.0 International 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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/17078/
Go to the corresponding LIPIcs Volume Portal

Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

pdf-format:
LIPIcs-CONCUR-2022-15.pdf (0.9 MB)

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
Collection: 33rd International Conference on Concurrency Theory (CONCUR 2022)
Issue Date: 2022
Date of publication: 06.09.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI