52 citations · 149 across the 34 of their papers we have counts for
38 papers
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr +1
Cumulative prospect theory (CPT) is the first theory for decision-making under uncertainty that combines full theoretical soundness and empirically realistic features [P.P. Wakker…
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…
Adversarial Formal Semantics of Attack Trees and Related Problems
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Security is a subject of increasing attention in our actual society in order to protect critical resources from information disclosure, theft or damage. The informal model of attac…