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