7 citations · 31 across the 19 of their papers we have counts for
21 papers
Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles
Simon Picard, Antonio Paolillo, Gilles Geeraerts +1
This work addresses the problem of exact schedulability assessment in uniprocessor mixed-criticality real-time systems with sporadic task sets. We model the problem by means of a f…
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,…