EasyChair Smart Slide
Synthesizing Reactive Systems from Hyperproperties
Synthesizing Reactive Systems from Hyperproperties