ML p(r)ior | The Second Reactive Synthesis Competition (SYNTCOMP 2015)
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and difficulties. We report on changes of the evaluation scheme and the experimental setup. Finally, we describe the entrants into SYNTCOMP 2015, as well as the results of our experimental evaluation. In our analysis, we emphasize progress over the tools that participated last year.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

Related Articles

2015-06-08

The task of algorithm selection involves choosing an algorithm from a set of algorithms on a per-ins… show more
PDF

Highlights - Most important sentences from the article

2018-06-26

Deck building is a crucial component in playing Collectible Card Games (CCGs). The goal of deck buil… show more
PDF

Highlights - Most important sentences from the article

2019-05-20

We consider the problem of synthesizing a program given a probabilistic specification of its desired… show more
PDF

Highlights - Most important sentences from the article

2019-04-15

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchma… show more
PDF

Highlights - Most important sentences from the article

2019-03-25

The field of network science is a highly interdisciplinary area; for the empirical analysis of netwo… show more
PDF

Highlights - Most important sentences from the article

2019-04-10

We consider a three-level parallelisation scheme. The second and third levels define a classical two… show more
PDF

Highlights - Most important sentences from the article

2018-07-12
1807.04724 | cs.CC

In this thesis, we survey techniques and results from the study of Complexity Theory and Games. We t… show more
PDF

Highlights - Most important sentences from the article

2014-07-21
1407.5399 | cs.SE

Reactive synthesis deals with the automated construction of implementations of reactive systems from… show more
PDF

Highlights - Most important sentences from the article

2019-04-03

Quantum memory management is becoming a pressing problem, especially given the recent research effor… show more
PDF

Highlights - Most important sentences from the article

2016-11-23
1611.07803 | cs.LO

This paper considers the problem of assumptions refinement in the context of unrealizable specificat… show more
PDF

Highlights - Most important sentences from the article

2019-03-29

The synthesis - the automatic construction - of reactive systems from linear temporal logic (LTL) sp… show more
PDF

Highlights - Most important sentences from the article

2019-03-27

Dynamic model inference techniques have been the center of many research projects recently. There ar… show more
PDF

Highlights - Most important sentences from the article

2018-12-23

Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic progr… show more
PDF

Highlights - Most important sentences from the article

2017-05-23

LTLf synthesis is the process of finding a strategy that satisfies a linear temporal specification o… show more
PDF

Highlights - Most important sentences from the article

2013-01-31

Local search is a successful approach for solving combinatorial optimization and constraint satisfac… show more
PDF

Highlights - Most important sentences from the article