# The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

> Research article (Electronic Proceedings in Theoretical Computer Science, 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2516749794](https://www.wikidata.org/wiki/openalex:W2516749794)  
**Source**: https://4ort.xyz/entity/the-3rd-reactive-synthesis-competition-syntcomp-2016-benchmarks-participants-amp-results