The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

Jacobs, Swen and Bloem, Roderick
(2016) The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond.
In: Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016..
Conference: None | Not Set

[img]
Preview
Text
1611.07626.pdf

Download (166kB) | Preview
Official URL: https://doi.org/10.4204/EPTCS.229.11

Actions

Actions (login required)

View Item View Item