34 citations · 78 across the 22 of their papers we have counts for
1 paper · 1 filter
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…