This page shows all presentations of this author published in EasyChair Smart Slide.
Model Checking Quantitative Hyperproperties
Hazem Torfah, Bernd Finkbeiner and Christopher Hahn