4 citations · 12 across the 11 of their papers we have counts for
9 papers · 1 filter
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…
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…
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
Philippe Heim, Rayna Dimitrova
Infinite-state reactive synthesis has attracted significant attention in recent years, which has led to the emergence of novel symbolic techniques for solving infinite-state games.…
Localized Attractor Computations for Infinite-State Games (Full Version)
Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova +1
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to constru…
Synthesizing Approximate Implementations for Unrealizable Specifications
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bo…