We study open swarms and teams of multi-agent systems where agents may join or leave the system at runtime. Kouvaros et al. [1] defined the verification problem for such systems and showed it to be undecidable, in general. Also, they have found one decidable class of open multi-agent systems and provided a partial decision procedure for another. In the same vein we present a subclass of open teams called regular open teams for which reachability is decidable. This is shown by employing a counter abstraction technique wherein the regular open team is abstracted into a finite state multi-counter system.
In minimum power network design problems we are given an undirected graph with edge costs . The goal is to find an edge set that satisfies a prescribed property of minimum power . In the Min-Power k Edge Disjoint st-Paths problem F should contain k edge disjoint st-paths. The problem admits a k-approximation algorithm, and it was an open question to achieve an approximation ratio sublinear in k for simple graphs, even for unit costs. We give a -approximation algorithm for general costs.