1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.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…