7 citations · 31 across the 19 of their papers we have counts for
11 papers · 1 filter
One-Clock Priced Timed Games with Negative Weights
Thomas Brihaye, Gilles Geeraerts, Axel Haddad +2
Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a st…
Monte Carlo Tree Search guided by Symbolic Advice for MDPs
Damien Busatto-Gaston, Debraj Chakraborty, Jean-Francois Raskin
In this paper, we consider the online computation of a strategy that aims at optimizing the expected average reward in a Markov decision process. The strategy is computed with a re…
Dynamics on Games: Simulation-Based Techniques and Applications to Routing
Thomas Brihaye, Gilles Geeraerts, Marion Hallet +2
We consider multi-player games played on graphs, in which the players aim at fulfilling their own (not necessarily antagonistic) objectives. In the spirit of evolutionary game theo…
Dynamics and Coalitions in Sequential Games
Thomas Brihaye, Gilles Geeraerts, Marion Hallet +1
We consider N-player non-zero sum games played on finite trees (i.e., sequential games), in which the players have the right to repeatedly update their respective strategies (for i…
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen
The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases,…
Admissibility in Concurrent Games
Nicolas Basset, Gilles Geeraerts, Jean-François Raskin +1
In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays `as well as pos…