EasyChair Smart Slide
Docs
/
Log in
Home
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
The 5th Reactive Synthesis Competition - SYNTCOMP 2018
More
Related
1
2
3
4
Copyright © 2002 – 2025 EasyChair
