The first reactive synthesis competition (SYNTCOMP 2014)

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

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „The first reactive synthesis competition (SYNTCOMP 2014)“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Chemistry

Engineering