This page shows all presentations of this author published in EasyChair Smart Slide.
Synthesizing Reactive Systems from Hyperproperties
Bernd Finkbeiner, Leander Tentrup, Marvin Stenger, Philip Lukert and Christopher Hahn