6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.FL2020
Synthesis in Presence of Dynamic Links
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer +2
The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behav…
cs.DC2018★ 6 cited
Fast Multidimensional Asymptotic and Approximate Consensus
Matthias Függer, Thomas Nowak
We study the problems of asymptotic and approximate consensus in which agents have to get their values arbitrarily close to each others' inside the convex hull of initial values, e…