A dynamic pricing scheme with negative prices in dockless bike sharing systems
To achieve bike relocation 1 through travellers' spontaneous behaviour in dockless bike
sharing systems, an innovative dynamic pricing scheme with negative prices is introduced …
sharing systems, an innovative dynamic pricing scheme with negative prices is introduced …
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
Quantitative games are two-player zero-sum games played on directed weighted graphs.
Total-payoff games—that can be seen as a refinement of the well-studied mean-payoff …
Total-payoff games—that can be seen as a refinement of the well-studied mean-payoff …
Inaproximability in Weighted Timed Games
Q Guilmant, J Ouaknine - 35th International Conference on …, 2024 - drops.dagstuhl.de
We consider two-player, turn-based weighted timed games played on timed automata
equipped with (positive and negative) integer weights, in which one player seeks to reach a …
equipped with (positive and negative) integer weights, in which one player seeks to reach a …
On the value problem in weighted timed games
A weighted timed game is a timed game with extra quantitative information representing eg
energy consumption. Optimizing the weight for reaching a target is a natural question, which …
energy consumption. Optimizing the weight for reaching a target is a natural question, which …
To reach or not to reach? Efficient algorithms for total-payoff games
Quantitative games are two-player zero-sum games played on directed weighted graphs.
Total-payoff games (that can be seen as a refinement of the well-studied mean-payoff …
Total-payoff games (that can be seen as a refinement of the well-studied mean-payoff …
Optimal reachability in divergent weighted timed games
D Busatto-Gaston, B Monmege, PA Reynier - … 2017, Held as Part of the …, 2017 - Springer
Weighted timed games are played by two players on a timed automaton equipped with
weights: one player wants to minimise the accumulated weight while reaching a target, while …
weights: one player wants to minimise the accumulated weight while reaching a target, while …
Simple priced timed games are not that simple
Priced timed games are two-player zero-sum games played on priced timed automata
(whose locations and transitions are labeled by weights modeling the costs of spending time …
(whose locations and transitions are labeled by weights modeling the costs of spending time …
[PDF][PDF] Optimal controller synthesis for timed systems
D Busatto-Gaston, B Monmege… - Logical Methods in …, 2023 - lmcs.episciences.org
Weighted timed games are zero-sum games played by two players on a timed automaton
equipped with weights, where one player wants to minimise the cumulative weight while …
equipped with weights, where one player wants to minimise the cumulative weight while …
Symbolic approximation of weighted timed games
D Busatto-Gaston, B Monmege, PA Reynier - arXiv preprint arXiv …, 2018 - arxiv.org
Weighted timed games are zero-sum games played by two players on a timed automaton
equipped with weights, where one player wants to minimise the accumulated weight while …
equipped with weights, where one player wants to minimise the accumulated weight while …
Synthesis of Robust Optimal Strategies in Weighted Timed Games
B Monmege, J Parreaux, PA Reynier - arXiv preprint arXiv:2403.06921, 2024 - arxiv.org
Weighted Timed Games (WTG for short) are the most widely used model to describe
controller synthesis problems involving real-time issues. The synthesized strategies rely on …
controller synthesis problems involving real-time issues. The synthesized strategies rely on …