This page shows all presentations of this author published in EasyChair Smart Slide.
Abstraction-Based Decision Making for Statistical Properties
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner and Kaushik Mallik