30 citations · 152 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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.LO2016★ 6 cited
Specification Format for Reactive Synthesis Problems
Ayrat Khalimov
Automatic synthesis from a given specification automatically constructs correct implementation. This frees the user from the mundane implementation work, but still requires the spe…