|
|||||
|
|
The first reactive synthesis competition (SYNTCOMP 2014) |
|
| Authors: | Jacobs Swen Bloem Roderick Brenguier Romain Ehlers Rüdiger Hell Timotheus Könighofer Robert Pérez Guillermo A Raskin Jean-François Ryzhyk Leonid Sankur Ocan Seidl Martina Tentrup Leander Walker Adam |
| Affiliation: | 1.Graz University of Technology, Graz, Austria ;2.Saarland University, Saarbrücken, Germany ;3.Université Libre de Bruxelles, Brussels, Belgium ;4.University of Bremen, Bremen, Germany ;5.DFKI GmbH, Bremen, Germany ;6.NICTA, Sydney, Australia ;7.Carnegie Mellon University, Pittsburgh, USA ;8.CNRS, IRISA, Rennes, France ;9.Johannes-Kepler-University Linz, Linz, Austria ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |