EasyChair Smart SlideDocs/Log in
Title:The 5th Reactive Synthesis Competition - SYNTCOMP 2018
Authors:Swen Jacobs and Roderick Bloem
Conference:SYNT 2018
Tags:Competition, Reactive Systems and Synthesis
Abstract:

We present the participants and results of the fifth reactive synthesis competition (SYNTCOMP 2018).

 
The 5th Reactive Synthesis Competition - SYNTCOMP 2018
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1of15
1
2
3
4
Copyright © 2002 – 2024 EasyChair