Alert button
Picture for Thomas A. Henzinger

Thomas A. Henzinger

Alert button

Institute of Science and Technology Austria

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

Dec 03, 2023
Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger

Viaarxiv icon

Monitoring Algorithmic Fairness under Partial Observations

Aug 01, 2023
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik

Figure 1 for Monitoring Algorithmic Fairness under Partial Observations
Figure 2 for Monitoring Algorithmic Fairness under Partial Observations
Viaarxiv icon

Monitoring Algorithmic Fairness

May 25, 2023
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Figure 1 for Monitoring Algorithmic Fairness
Figure 2 for Monitoring Algorithmic Fairness
Viaarxiv icon

Runtime Monitoring of Dynamic Fairness Properties

May 08, 2023
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Figure 1 for Runtime Monitoring of Dynamic Fairness Properties
Figure 2 for Runtime Monitoring of Dynamic Fairness Properties
Figure 3 for Runtime Monitoring of Dynamic Fairness Properties
Viaarxiv icon

Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks

Nov 29, 2022
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

Figure 1 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 2 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 3 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 4 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Viaarxiv icon

Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees

Oct 11, 2022
Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

Figure 1 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 2 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 3 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 4 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Viaarxiv icon

Learning Control Policies for Region Stabilization in Stochastic Systems

Oct 11, 2022
Matin Ansaripour, Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 2 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 3 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 4 for Learning Control Policies for Region Stabilization in Stochastic Systems
Viaarxiv icon

Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap

Oct 09, 2022
Mathias Lechner, Ramin Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus

Figure 1 for Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
Figure 2 for Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
Figure 3 for Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
Figure 4 for Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
Viaarxiv icon

Entangled Residual Mappings

Jun 02, 2022
Mathias Lechner, Ramin Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter

Figure 1 for Entangled Residual Mappings
Figure 2 for Entangled Residual Mappings
Figure 3 for Entangled Residual Mappings
Figure 4 for Entangled Residual Mappings
Viaarxiv icon

Learning Stabilizing Policies in Stochastic Control Systems

May 24, 2022
Đorđe Žikelić, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Learning Stabilizing Policies in Stochastic Control Systems
Figure 2 for Learning Stabilizing Policies in Stochastic Control Systems
Viaarxiv icon