Applications in robotics, such as multi-robot target tracking, involve the execution of information acquisition tasks by teams of mobile robots. However, in failure-prone or adversarial environments, robots get attacked, their communication channels get jammed, and their sensors fail, resulting in the withdrawal of robots from the collective task, and, subsequently, the inability of the remaining active robots to coordinate with each other. As a result, traditional design paradigms become insufficient and, in contrast, resilient designs against system-wide failures and attacks become important. In general, resilient design problems are hard, and even though they often involve objective functions that are monotone and (possibly) submodular, scalable approximation algorithms for their solution have been hitherto unknown. In this paper, we provide the first algorithm, enabling the following capabilities: minimal communication, i.e., the algorithm is executed by the robots based only on minimal communication between them; system-wide resiliency, i.e., the algorithm is valid for any number of denial-of-service attacks and failures; and provable approximation performance, i.e., the algorithm ensures for all monotone and (possibly) submodular objective functions a solution that is finitely close to the optimal. We support our theoretical analyses with simulated and realworld experiments, by considering an active information acquisition application scenario, namely, multi-robot target tracking. ).This research is partially supported by ARL CRA DCIST W911NF-17-2-0181 and the Rockefeller Foundation.• (Problem definition) We formalize the problem of resilient active information gathering with mobile robots against multi-robot denial-of-service attacks or failures. arXiv:1803.09730v3 [cs.RO] 2 Sep 2018 APPENDIX A PRELIMINARY LEMMAS AND DEFINITIONSNotation. In the appendix we use the following notation to support the proofs in this paper: in particular, consider a finite ground set V and a set function f : 2 V → R. Then, for any set X ⊆ V and any set X ⊆ V, the symbol f (X |X ) denotes the marginal value f (X ∪ X ) − f (X ). Moreover, the symbol κ f is the total curvature of f (Definition 3), and the symbol c f is the total curvature of f (Definition 4).This appendix contains lemmas that will support the proof of Theorem 1 in this paper; moreover, it contains a generalized description of the algorithm coordinate descent [20, Section IV] (to any non-decreasing information objective function in the active robot set), and a lemma, which will support the proof of Proposition 1 in this paper.