52 citations · 149 across the 34 of their papers we have counts for
4 papers · 1 filter
Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-free Languages
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
We present a mathematical setting for attack-defense trees, a classic graphical model to specify attacks and countermeasures. We equip attack-defense trees with (trace) language se…
Multi-weighted Reachability Games and Their Application to Permissiveness
Thomas Brihaye, Aline Goeminne
We study two-player multi-weighted reachability games played on a finite directed graph, where an agent, called P1, has several quantitative reachability objectives that he wants t…
Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
Thomas Brihaye, Véronique Bruyère, Gaspard Reghem
In this paper, we deepen the study of two-player Stackelberg games played on graphs in which Player announces a strategy and Player , having several objectives, responds rat…
Valuing the Electricity Produced Locally in Renewable Energy Communities through Noncooperative Resources Scheduling Games
Louise Sadoine, Zacharie De Grève, Thomas Brihaye
We propose two market designs for the optimal day-ahead scheduling of energy exchanges within renewable energy communities. The first one implements a cooperative demand side manag…