Author:Thomas A. Henzinger

Publications
Reasoning About Hyperproperties with Automated Theorem Provers Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner EasyChair Preprint 1000