2 results
Thomas Brihaye ; Véronique Bruyère ; Julie De Pril ; Hugo Gimbert.
We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model showed that Nash equilibria (resp. secure equilibria) are […]
Published on February 28, 2013
Hugo Gimbert.
We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of the controllers is to put each process in a local accepting state.
Published on September 8, 2022