On Stable Multi-Agent Behavior in Face of Uncertainty
This work addresses stability in multi-agent systems for designers, but appears incremental as it builds on existing concepts without claiming major breakthroughs.
The paper tackles the problem of ensuring stable joint plans in multi-agent environments under uncertainty, presenting a computational framework and basic results for representation, verification, and synthesis.
A stable joint plan should guarantee the achievement of a designer's goal in a multi-agent environment, while ensuring that deviations from the prescribed plan would be detected. We present a computational framework where stable joint plans can be studied, as well as several basic results about the representation, verification and synthesis of stable joint plans.