Coverage Games
Orna Kupferman (1), Noam Shenwald (1) ((1) The Hebrew University, School of Computer Science, Engineering, Jerusalem, Israel)

TL;DR
Coverage games provide a new framework for multi-agent planning involving multiple objectives, with applications in surveillance, resource management, and system security, analyzing their theoretical properties and decision complexities.
Contribution
This paper introduces coverage games, extending traditional game models to multiple objectives and agents, and analyzes their theoretical properties and computational complexity.
Findings
Coverage games are determined under certain conditions.
Deciding the winner in coverage games has tight complexity bounds.
Special cases like one-player scenarios are computationally simpler.
Abstract
We introduce and study coverage games - a novel framework for multi-agent planning in settings in which a system operates several agents but does not have full control on them, or interacts with an environment that consists of several agents. The game is played between a coverer, who has a set of objectives, and a disruptor. The coverer operates several agents that interact with the adversarial disruptor. The coverer wins if every objective is satisfied by at least one agent. Otherwise, the disruptor wins. Coverage games thus extend traditional two-player games with multiple objectives by allowing a (possibly dynamic) decomposition of the objectives among the different agents. They have many applications, both in settings where the system is the coverer (e.g., multi-robot surveillance, coverage in multi-threaded systems) and settings where it is the disruptor (e.g., prevention of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsInfrastructure Resilience and Vulnerability Analysis · Formal Methods in Verification · Smart Grid Security and Resilience
