12 citations · 43 across the 22 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.MA2025
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
Saleh Soudijani, Rayna Dimitrova
We study stochastic multi-agent systems in which agents must cooperate to maximize the probability of achieving a common reach-avoid objective. In many applications, during the exe…
cs.LO2025★ 2 cited
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
Philippe Heim, Rayna Dimitrova
The synthesis of infinite-state reactive systems from temporal logic specifications or infinite-state games has attracted significant attention in recent years, leading to the emer…