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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Thomas A. Henzinger

Adversarial Training is Not Ready for Robot Learning


Mar 15, 2021
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)


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


  Access Paper or Ask Questions

Into the unknown: Active monitoring of neural networks


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


  Access Paper or Ask Questions

Formal Methods with a Touch of Magic


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


  Access Paper or Ask Questions

Outside the Box: Abstraction-Based Monitoring of Neural Networks


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


  Access Paper or Ask Questions

Counterexample-guided Planning


Jul 04, 2012
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

* Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005) 

  Access Paper or Ask Questions