49 citations · 140 across the 23 of their papers we have counts for
28 papers
Distributed controller synthesis for deadlock avoidance
Hugo Gimbert, Corto Mascle, Anca Muscholl +1
We consider the distributed control synthesis problem for systems with locks. The goal is to find local controllers so that the global system does not deadlock. With no restriction…
Distributed Asynchronous Games With Causal Memory are Undecidable
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 p…
Constrained School Choice with Incomplete Information
Hugo Gimbert, Claire Mathieu, Simon Mauras
School choice is the two-sided matching market where students (on one side) are to be matched with schools (on the other side) based on their mutual preferences. The classical algo…
A Bridge between Polynomial Optimization and Games with Imperfect Recall
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
We provide several positive and negative complexity results for solving games with imperfect recall. Using a one-to-one correspondence between these games on one side and multivari…
Two-Sided Matching Markets with Correlated Random Preferences
Hugo Gimbert, Claire Mathieu, Simon Mauras
Stable matching in a community consisting of men and women is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its intro…
Controlling a population
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest +2
We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. Th…