EasyChair Smart SlideDocs/Log in
Author: Philip Lukert

This page shows all presentations of this author published in EasyChair Smart Slide.

Synthesizing Reactive Systems from Hyperproperties

Synthesizing Reactive Systems from Hyperproperties

Bernd Finkbeiner, Leander Tentrup, Marvin Stenger, Philip Lukert and Christopher Hahn

On the Expressiveness of HyperLTL Synthesis

On the Expressiveness of HyperLTL Synthesis

Bernd Finkbeiner, Christopher Hahn, Philip Lukert and Leander Tentrup

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair