30 citations · 37 across the 8 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 30 cited
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
Swen Jacobs, Nicolas Basset, Roderick Bloem +11
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
cs.LO2017
Proceedings Sixth Workshop on Synthesis
Dana Fisman, Swen Jacobs
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…
cs.LO2017
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Swen Jacobs, Mouhammad Sakr
We study cutoff results for parameterized verification and synthesis of guarded protocols, as introduced by Emerson and Kahlon (2000). Guarded protocols describe systems of process…