10 citations · 16 across the 18 of their papers we have counts for
3 papers · 1 filter
Multi-Agent Systems with Quantitative Satisficing Goals
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
In the study of reactive systems, qualitative properties are usually easier to model and analyze than quantitative properties. This is especially true in systems where mutually ben…
Specification-Guided Learning of Nash Equilibria with High Social Welfare
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani +1
Reinforcement learning has been shown to be an effective strategy for automatically training policies for challenging control problems. Focusing on non-cooperative multi-agent syst…
Equilibria in Quantitative Concurrent Games
Shaull Almagor, Rajeev Alur, Suguman Bansal
Synthesis of finite-state controllers from high-level specifications in multi-agent systems can be reduced to solving multi-player concurrent games over finite graphs. The complexi…