Room 206 (2nd floor, badged access)
19 mars 2026 - 14h00
Rational Synthesis in Resource-Constrained Multi-Agent Systems
par Youssouf Oualhadj de Univ. Paris-Est Creteil Val de Marne (LACL)
invité(e) par David MONNIAUX
19 mars 2026 - 14h00
Rational Synthesis in Resource-Constrained Multi-Agent Systems
par Youssouf Oualhadj de Univ. Paris-Est Creteil Val de Marne (LACL)
invité(e) par David MONNIAUX
Abstract: Rational synthesis studies the automatic construction of controllers that interact with rational agents pursuing their own objectives. Rather than assuming a hostile environment, this framework accounts for strategic behavior and equilibrium reasoning in multi-agent systems. In this talk, we consider rational synthesis in the presence of shared resources. Agents interact in turn-based games where actions may consume or replenish common resources, and must satisfy qualitative temporal objectives while avoiding resource depletion. We discuss how resource constraints fundamentally impact the synthesis problem, how the model evolves from single to multiple resources, and what this reveals about the limits of automated controller design.
