research
∙
09/07/2020
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
share
research
∙
05/19/2020
Safe Learning for Near Optimal Scheduling
In this paper, we investigate the combination of synthesis techniques an...
research
∙
09/30/2019
Dynamics on Games: Simulation-Based Techniques and Applications to Routing
We consider multi-player games played on graphs, in which the players ai...
research
∙
09/07/2017
Dynamics and Coalitions in Sequential Games
We consider N-player non-zero sum games played on finite trees (i.e., se...
research
∙
04/04/2017
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
The online feasibility problem (for a set of sporadic tasks) asks whethe...
research
∙
05/25/2011