Population protocols are used as a theoretical model for a collection (or population) of tiny
mobile agents that interact with one another to carry out a computation. The agents are …

This paper presents the Neural Network Verification (NNV) software tool, a set-based
verification framework for deep neural networks (DNNs) and learning-enabled cyber …

Elements of the theory of dynamic networks Page 1 72 COMMUNICATIONS OF THE ACM |
FEBRUARY 2018 | VOL. 61 | NO. 2 review articles IMA GE B Y ANITHA DEVI MUR THI A …

The past few years have seen intensive research efforts carried out in some apparently
unrelated areas of dynamic systems–delay-tolerant networks, opportunistic-mobility …

The past decade has seen intensive research efforts on highly dynamic wireless and mobile
networks (variously called delay-tolerant, disruptive-tolerant, challenged, opportunistic, etc) …

We describe and analyze a 3-state one-way population protocol to compute approximate
majority in the model in which pairs of agents are drawn uniformly at random to interact …

Population protocols are a popular model of distributed computing, in which randomly-
interacting agents with little computational power cooperate to jointly perform computational …

Population protocols are a popular model of distributed computing, in which n agents with
limited local state interact randomly, and cooperate to collectively compute global …

Chemical reaction networks (CRNs) formally model chemistry in a well-mixed solution.
CRNs are widely used to describe information processing occurring in natural cellular …

Fast algorithms are presented for performing computations in a probabilistic population
model. This is a variant of the standard population protocol model, in which finite-state …