EasyChair Smart SlideUser guide
Author: Bernd Finkbeiner

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

Deciding Hyperproperties Combined with Functional Specifications

Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch

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