Alert button
Picture for Thomas A. Henzinger

Thomas A. Henzinger

Alert button

Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning

Apr 15, 2022
Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger

Figure 1 for Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Figure 2 for Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Figure 3 for Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Figure 4 for Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Viaarxiv icon

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

Dec 17, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 2 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 3 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 4 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Viaarxiv icon

Infinite Time Horizon Safety of Bayesian Neural Networks

Nov 04, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 2 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 3 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 4 for Infinite Time Horizon Safety of Bayesian Neural Networks
Viaarxiv icon

GoTube: Scalable Stochastic Verification of Continuous-Depth Models

Jul 18, 2021
Sophie Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott Smolka, Radu Grosu

Figure 1 for GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Figure 2 for GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Figure 3 for GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Figure 4 for GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Viaarxiv icon

Adversarial Training is Not Ready for Robot Learning

Mar 15, 2021
Mathias Lechner, Ramin Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger

Figure 1 for Adversarial Training is Not Ready for Robot Learning
Figure 2 for Adversarial Training is Not Ready for Robot Learning
Figure 3 for Adversarial Training is Not Ready for Robot Learning
Figure 4 for Adversarial Training is Not Ready for Robot Learning
Viaarxiv icon

Scalable Verification of Quantized Neural Networks (Technical Report)

Dec 15, 2020
Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić

Figure 1 for Scalable Verification of Quantized Neural Networks (Technical Report)
Figure 2 for Scalable Verification of Quantized Neural Networks (Technical Report)
Figure 3 for Scalable Verification of Quantized Neural Networks (Technical Report)
Figure 4 for Scalable Verification of Quantized Neural Networks (Technical Report)
Viaarxiv icon

Into the unknown: Active monitoring of neural networks

Sep 14, 2020
Anna Lukina, Christian Schilling, Thomas A. Henzinger

Figure 1 for Into the unknown: Active monitoring of neural networks
Figure 2 for Into the unknown: Active monitoring of neural networks
Figure 3 for Into the unknown: Active monitoring of neural networks
Figure 4 for Into the unknown: Active monitoring of neural networks
Viaarxiv icon

Formal Methods with a Touch of Magic

May 25, 2020
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

Figure 1 for Formal Methods with a Touch of Magic
Figure 2 for Formal Methods with a Touch of Magic
Figure 3 for Formal Methods with a Touch of Magic
Figure 4 for Formal Methods with a Touch of Magic
Viaarxiv icon

Outside the Box: Abstraction-Based Monitoring of Neural Networks

Nov 29, 2019
Thomas A. Henzinger, Anna Lukina, Christian Schilling

Figure 1 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 2 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 3 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 4 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Viaarxiv icon