4 papers
Modular Attractor Acceleration in Infinite-State Games (Full Version)
Philippe Heim, Rayna Dimitrova
Infinite-state games provide a framework for the synthesis of reactive systems with unbounded data domains. Solving such games typically relies on computing symbolic fixpoints, par…
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…
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…
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
Rafael Dewes, Rayna Dimitrova
Quantitative requirements play an important role in the context of multi-agent systems, where there is often a trade-off between the tasks of individual agents and the constraints…