49 citations · 140 across the 23 of their papers we have counts for
1 paper · 2 filters
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…