39 citations · 99 across the 21 of their papers we have counts for
1 paper · 1 filter
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
In distributed synthesis, we generate a set of process implementations that, together, accomplish an objective against all possible behaviors of the environment. A lot of recent wo…