2 papers
cs.GT2025
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…
cs.GT2024
Permissive Equilibria in Multiplayer Reachability Games
Aline Goeminne, Benjamin Monmege
We study multi-strategies in multiplayer reachability games played on finite graphs. A multi-strategy prescribes a set of possible actions, instead of a single action as usual stra…