Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Entangled Residual Mappings



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

* 21 Pages 

   Access Paper or Ask Questions

Learning Stabilizing Policies in Stochastic Control Systems



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

* ICLR 2022 Workshop on Socially Responsible Machine Learning (SRML) 

   Access Paper or Ask Questions

Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning



Mathias Lechner , Alexander Amini , Daniela Rus , Thomas A. Henzinger


   Access Paper or Ask Questions

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales



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

* Accepted by AAAI 2022 

   Access Paper or Ask Questions

Infinite Time Horizon Safety of Bayesian Neural Networks



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

* To appear in NeurIPS 2021 

   Access Paper or Ask Questions

GoTube: Scalable Stochastic Verification of Continuous-Depth Models



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

* 17 Pages 

   Access Paper or Ask Questions

Adversarial Training is Not Ready for Robot Learning



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

* Accepted at the IEEE International Conference on Robotics and Automation (ICRA) 2021 

   Access Paper or Ask Questions

Scalable Verification of Quantized Neural Networks (Technical Report)



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


   Access Paper or Ask Questions

Into the unknown: Active monitoring of neural networks



Anna Lukina , Christian Schilling , Thomas A. Henzinger


   Access Paper or Ask Questions

Formal Methods with a Touch of Magic



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


   Access Paper or Ask Questions

1
2
>>