EasyChair Smart SlideUser guide
Author: Christopher Hahn

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

Model Checking Quantitative Hyperproperties

Model Checking Quantitative Hyperproperties

Hazem Torfah, Bernd Finkbeiner and Christopher Hahn

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: 3
Copyright © 2002 – 2026 EasyChair