One-Clock Priced Timed Games with Arbitrary Weights

by   Thomas Brihaye, et al.

Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the price of spending time in a state and executing an action, respectively). The goals of the players are to minimise and maximise the price to reach a target location, respectively. We consider priced timed games with one clock and arbitrary integer weights and show that, for an important subclass of theirs (the so-called simple priced timed games), one can compute, in exponential time, the optimal values that the players can achieve, with their associated optimal strategies. As side results, we also show that one-clock priced timed games are determined and that we can use our result on simple priced timed games to solve the more general class of so-called negative-reset-acyclic priced timed games (with arbitrary integer weights and one clock). The decidability status of the full class of priced timed games with one-clock and arbitrary integer weights still remains open.



There are no comments yet.


page 1

page 2

page 3

page 4


Playing Stochastically in Weighted Timed Games to Emulate Memory

Weighted timed games are two-player zero-sum games played in a timed aut...

One-Clock Priced Timed Games are PSPACE-hard

The main result of this paper is that computing the value of a one-clock...

Optimal controller synthesis for timed systems

Weighted timed games are zero-sum games played by two players on a timed...

Symbolic Approximation of Weighted Timed Games

Weighted timed games are zero-sum games played by two players on a timed...

Infinite-Duration All-Pay Bidding Games

A graph game is a two-player zero-sum game in which the players move a t...

Reaching Your Goal Optimally by Playing at Random

Shortest-path games are two-player zero-sum games played on a graph equi...

Resource-Aware Protocols for Network Cost-Sharing Games

We study the extent to which decentralized cost-sharing protocols can ac...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.