2 papers
cs.GT2026
Coverage Games
Orna Kupferman, Noam Shenwald
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…
cs.LO2025
Synthesis with Guided Environments
Orna Kupferman, Ofer Leshkowitz
In the synthesis problem, we are given a specification, and we automatically generate a system that satisfies the specification in all environments. We introduce and study {\em syn…