The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Swen Jacobs, Roderick Bloem, Maximilien Colange +11

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…