most citedDeveloping a Practical Reactive Synthesis Tool: Experience and Lessons Learned

16 citations · 29 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 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…