"Strix: Explicit Reactive Synthesis Strikes Back!"

Philipp J. Meyer, Salomon Sickert, Michael Luttenberger (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics