Send email Copy Email Address
2017

The first reactive synthesis competition (SYNTCOMP 2014)

Tags
-
Date published

2017

Date last modified

2018-02-23 12:31:45

Authors
  • Swen Jacobs
  • Roderick Bloem
  • Romain Brenguier
  • Rüdiger Ehlers
  • Timotheus Hell
  • Robert Könighofer
  • Guillermo A. Pérez
  • Jean-François Raskin
  • Leonid Ryzhyk
  • Ocan Sankur
  • Martina Seidl
  • Leander Tentrup
  • Adam Walker
Download