Send email Copy Email Address
2017

The first reactive synthesis competition (SYNTCOMP 2014)

Tags
ASDPS Trustworthy Information Processing
-
Date published

2017

Date last modified

2021-06-04 08:39:40

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