2 citations · 6 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
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.…
cs.LO2024★ 1 cited
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…