We study price-per-reward games on hybrid automata with strong resets. They generalise average-price games previously studied and have applications in scheduling. We obtain decidability results by a translation to a novel class of finite graphs with price and reward information, and games assigned to edges. The cost and reward of following an edge are determined by the outcome of the edge game that is assigned to it
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
The paper examines the asymptotic behavior of the set of equilibrium payoffs in a repeated game when...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
Abstract. We study price-per-reward games on hybrid automata with strong resets. They generalise pri...
The date of receipt and acceptance will be inserted by the editor Abstract. We study price-per-rewar...
We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata...
An average-time game is played on the infinite graph of configurations of a finite timed automaton. ...
Hybrid automata are an extension of finite automata obtained by augmenting them with a set of real-v...
An average-time game is played on the infinite graph of configurations of a finite timed automaton...
Abstract. We consider real-time games where the goal consists, for each player, in maximizing the av...
Mean-payoff games on timed automata are played on the infinite weighted graph of configurations of p...
Priced timed (game) automata extends timed (game) automata with costs on both locations and transiti...
International audiencePriced timed games are two-player zero-sum games played on priced timed automa...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations an...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
The paper examines the asymptotic behavior of the set of equilibrium payoffs in a repeated game when...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
Abstract. We study price-per-reward games on hybrid automata with strong resets. They generalise pri...
The date of receipt and acceptance will be inserted by the editor Abstract. We study price-per-rewar...
We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata...
An average-time game is played on the infinite graph of configurations of a finite timed automaton. ...
Hybrid automata are an extension of finite automata obtained by augmenting them with a set of real-v...
An average-time game is played on the infinite graph of configurations of a finite timed automaton...
Abstract. We consider real-time games where the goal consists, for each player, in maximizing the av...
Mean-payoff games on timed automata are played on the infinite weighted graph of configurations of p...
Priced timed (game) automata extends timed (game) automata with costs on both locations and transiti...
International audiencePriced timed games are two-player zero-sum games played on priced timed automa...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations an...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...
The paper examines the asymptotic behavior of the set of equilibrium payoffs in a repeated game when...
We consider two-player games played on finite graphs equipped with costs on edges and introduce two ...