EasyChair Smart SlideDocs/Log in
Author: Thomas A. Henzinger

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

Abstraction-Based Decision Making for Statistical Properties

Abstraction-Based Decision Making for Statistical Properties

Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner and Kaushik Mallik

Bidding Games with Charging

Bidding Games with Charging

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger and Kaushik Mallik

Abstract Monitors for Quantitative Specifications

Abstract Monitors for Quantitative Specifications

Thomas A. Henzinger, Nicolas Mazzocchi and N. Ege Saraç

Between Determinism and Nondeterminism

Between Determinism and Nondeterminism

Thomas Henzinger

Spacetime Interpolants

Spacetime Interpolants

Goran Frehse, Mirco Giacobbe and Thomas A. Henzinger

Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Hui Kong, Ezio Bartocci and Thomas A. Henzinger

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