"Practical Synthesis of Reactive Systems from LTL Specifications via Parity ..."

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