12 citations · 43 across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Solving Infinite-State Games via Acceleration (Full Version)
Philippe Heim, Rayna Dimitrova
Two-player graph games have found numerous applications, most notably in the synthesis of reactive systems from temporal specifications, but also in verification. The relevance of…
cs.LO2023★ 1 cited
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)
Philippe Heim, Rayna Dimitrova
Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate correct-by-construction implementations…