20 citations · 33 across the 2 of their papers we have counts for
3 papers
cs.FL2024
Fully Generalized Reactivity(1) Synthesis
Rüdiger Ehlers, Ayrat Khalimov
Generalized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game graph, describing the safe transiti…
cs.LO2016★ 13 cited
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Romain Brenguier +13
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…
cs.LO2014★ 20 cited
Parameterized Synthesis Case Study: AMBA AHB
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
We revisit the AMBA AHB case study that has been used as a benchmark for several reactive synthesis tools. Synthesizing AMBA AHB implementations that can serve a large number of ma…