This page shows all presentations of this author published in EasyChair Smart Slide.
Strix: Explicit Reactive Synthesis Strikes Back!
Philipp J. Meyer, Salomon Sickert and Michael Luttenberger