English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). Weintroduce two new benchmark classes that have been added to the SYNTCOMPlibrary, and briefly describe the benchmark selection, evaluation scheme andthe experimental setup of SYNTCOMP 2017. We present the participants ofSYNTCOMP 2017, with a focus on changes with respect to the previous years andon the two completely new tools that have entered the competition. Finally, wepresent and analyze the results of our experimental evaluation, including aranking of tools with respect to quantity and quality of solutions.

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results