Strix: Explicit Reactive Synthesis Strikes Back!

Philipp J. Meyer, Salomon Sickert, Michael Luttenberger

Browse the full CAV paper archive.