The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Könighofer, Robert and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2015) The Second Reactive Synthesis Competition (SYNTCOMP 2015).
In: Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015..
Conference: None | Not Set

[img]
Preview
Text
1602.01171.pdf

Download (1MB) | Preview
Official URL: https://doi.org/10.4204/EPTCS.202.4

Actions

Actions (login required)

View Item View Item