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 and Adam Walker
Journal
International Journal on Software Tools for Technology Transfer (STTT)
Volume
abs/1506.08726
Year
2016