8 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
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…