35 citations · 151 across the 21 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…