EasyChair Smart Slide
Strix: Explicit Reactive Synthesis Strikes Back!
Strix: Explicit Reactive Synthesis Strikes Back!